Module `Applicative_without_return`

include Applicative_without_return__.Applicative_without_return_intf.Applicative_without_return

module type Basic = Applicative_without_return__.Applicative_without_return_intf.Basic

module type Basic2 = Applicative_without_return__.Applicative_without_return_intf.Basic2

module type Basic3 = Applicative_without_return__.Applicative_without_return_intf.Basic3

module type S_without_let_syntax = Applicative_without_return__.Applicative_without_return_intf.S_without_let_syntax

module type S2_without_let_syntax = Applicative_without_return__.Applicative_without_return_intf.S2_without_let_syntax

module type S3_without_let_syntax = Applicative_without_return__.Applicative_without_return_intf.S3_without_let_syntax

module type S = Applicative_without_return__.Applicative_without_return_intf.S

module type S2 = Applicative_without_return__.Applicative_without_return_intf.S2

module type S3 = Applicative_without_return__.Applicative_without_return_intf.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