Module type Applicative_without_return__Applicative_without_return_intf.Applicative_without_return

module type Basic = Basic
module type Basic2 = Basic2
module type Basic3 = Basic3
module type S_without_let_syntax = S_without_let_syntax
module type S2_without_let_syntax = S2_without_let_syntax
module type S3_without_let_syntax = S3_without_let_syntax
module type S = S
module type S2 = S2
module type S3 = S3
module Make : functor (B : Basic) -> S with type 'a t := 'a B.t
module Make2 : functor (B : Basic2) -> S2 with type ('a, 'e) t := ('a'e) B.t
module Make3 : functor (B : Basic3) -> S3 with type ('a, 'd, 'e) t := ('a'd'e) B.t