module type S =sig
..end
type 'a
t_let
val let+ : 'a t_let -> ('a -> 'b) -> 'b t_let
val and+ : 'a t_let ->
'b t_let -> ('a * 'b) t_let
val ( let* ) : 'a t_let ->
('a -> 'b t_let) -> 'b t_let
val ( and* ) : 'a t_let ->
'b t_let -> ('a * 'b) t_let