Applicative (base.Base.Applicative)

module type Applicative_infix = sig ... end

module type Applicative_infix2 = sig ... end

module type Applicative_infix3 = sig ... end

module type Applicative_infix_local = sig ... end

module type Applicative_infix2_local = sig ... end

module type Basic = sig ... end

module type Basic2 = sig ... end

module type Basic3 = sig ... end

module type Basic_local = sig ... end

module type Basic2_local = sig ... end

module type Basic_using_map2 = sig ... end

module type Basic2_using_map2 = sig ... end

module type Basic3_using_map2 = sig ... end

module type Basic_using_map2_local = sig ... end

module type Basic2_using_map2_local = sig ... end

module type Basic3_using_map2_local = sig ... end

module type Let_syntax = sig ... end

module type Let_syntax2 = sig ... end

module type Let_syntax3 = sig ... end

module type S = sig ... end

module type S2 = sig ... end

module type S3 = sig ... end

module type Lazy_applicative = sig ... end

module type S_local = sig ... end

module type S2_local = sig ... end

module S2_to_S (T : sig ... end) (X : S2) : sig ... end

module S_to_S2 (X : S) : sig ... end

module S3_to_S2 (T : sig ... end) (X : S3) : sig ... end

module S3_to_S (T1 : sig ... end) (T2 : sig ... end) (X : S3) : sig ... end

module S2_to_S3 (X : S2) : sig ... end

module Make (X : Basic) : sig ... end

module Make2 (X : Basic2) : sig ... end

module Make3 (X : Basic3) : sig ... end

module Make_let_syntax
  (X : sig ... end)
  (Intf : sig ... end)
  (Impl : Intf.S) : 
  sig ... end

module Make_let_syntax2
  (X : sig ... end)
  (Intf : sig ... end)
  (Impl : Intf.S) : 
  sig ... end

module Make_let_syntax3
  (X : sig ... end)
  (Intf : sig ... end)
  (Impl : Intf.S) : 
  sig ... end

module Make_using_map2 (X : Basic_using_map2) : sig ... end

module Make2_using_map2 (X : Basic2_using_map2) : sig ... end

module Make3_using_map2 (X : Basic3_using_map2) : sig ... end

module Make_using_map2_local (X : Basic_using_map2_local) : sig ... end

module Make2_using_map2_local (X : Basic2_using_map2_local) : sig ... end

module Make3_using_map2_local (X : Basic3_using_map2_local) : sig ... end

module Of_monad (M : sig ... end) : sig ... end

module Of_monad2 (M : sig ... end) : sig ... end

module Compose (F : S) (G : S) : sig ... end

module Pair (F : S) (G : S) : sig ... end