documenting Eliom_service.rt