sig
  val map_p :
    ('a -> 'b Lwt.t) Eliom_shared_sigs.RLIST.sv ->
    'a Eliom_shared_sigs.RLIST.t -> 'b Eliom_shared_sigs.RLIST.t Lwt.t
end