sig
  val ( >|= ) :
    'a Eliom_shared_sigs.S.t ->
    ('a -> 'b) Eliom_shared_sigs.S.sv -> 'b Eliom_shared_sigs.S.t
  val ( =|< ) :
    ('a -> 'b) Eliom_shared_sigs.S.sv ->
    'a Eliom_shared_sigs.S.t -> 'b Eliom_shared_sigs.S.t
end