sig
  val map_s :
    ?eq:('b -> 'b -> bool) Eliom_shared_sigs.S.sv ->
    ('a -> 'b Lwt.t) Eliom_shared_sigs.S.sv ->
    'a Eliom_shared_sigs.S.t -> 'b Eliom_shared_sigs.S.t Lwt.t
  val l2_s :
    ?eq:('c -> 'c -> bool) Eliom_shared_sigs.S.sv ->
    ('a -> 'b -> 'c Lwt.t) Eliom_shared_sigs.S.sv ->
    'a Eliom_shared_sigs.S.t ->
    'b Eliom_shared_sigs.S.t -> 'c Eliom_shared_sigs.S.t Lwt.t
  val l3_s :
    ?eq:('d -> 'd -> bool) Eliom_shared_sigs.S.sv ->
    ('a -> 'b -> 'c -> 'd Lwt.t) Eliom_shared_sigs.S.sv ->
    'a Eliom_shared_sigs.S.t ->
    'b Eliom_shared_sigs.S.t ->
    'c Eliom_shared_sigs.S.t -> 'd Eliom_shared_sigs.S.t Lwt.t
  val l4_s :
    ?eq:('e -> 'e -> bool) Eliom_shared_sigs.S.sv ->
    ('a -> 'b -> 'c -> 'd -> 'e Lwt.t) Eliom_shared_sigs.S.sv ->
    'a Eliom_shared_sigs.S.t ->
    'b Eliom_shared_sigs.S.t ->
    'c Eliom_shared_sigs.S.t ->
    'd Eliom_shared_sigs.S.t -> 'e Eliom_shared_sigs.S.t Lwt.t
  val l5_s :
    ?eq:('f -> 'f -> bool) Eliom_shared_sigs.S.sv ->
    ('a -> 'b -> 'c -> 'd -> 'e -> 'f Lwt.t) Eliom_shared_sigs.S.sv ->
    'a Eliom_shared_sigs.S.t ->
    'b Eliom_shared_sigs.S.t ->
    'c Eliom_shared_sigs.S.t ->
    'd Eliom_shared_sigs.S.t ->
    'e Eliom_shared_sigs.S.t -> 'f Eliom_shared_sigs.S.t Lwt.t
  val l6_s :
    ?eq:('g -> 'g -> bool) Eliom_shared_sigs.S.sv ->
    ('a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g Lwt.t) Eliom_shared_sigs.S.sv ->
    'a Eliom_shared_sigs.S.t ->
    'b Eliom_shared_sigs.S.t ->
    'c Eliom_shared_sigs.S.t ->
    'd Eliom_shared_sigs.S.t ->
    'e Eliom_shared_sigs.S.t ->
    'f Eliom_shared_sigs.S.t -> 'g Eliom_shared_sigs.S.t Lwt.t
  val merge_s :
    ?eq:('a -> 'a -> bool) Eliom_shared_sigs.S.sv ->
    ('a -> 'b -> 'a Lwt.t) Eliom_shared_sigs.S.sv ->
    'a -> 'b Eliom_shared_sigs.S.t list -> 'a Eliom_shared_sigs.S.t Lwt.t
end