Module Record_builder__.Record_builder_intf
module type Partial_applicative_S = sig ... end
A subset of the operations of an applicative.
module type Partial_applicative_S2 = sig ... end
A subset of the operations of an applicative with two type parameters.
module type Make_creator_types = sig ... end
The types used internally for building records by folding over fields — you shouldn't need to know them, but they must be exposed to allow type-checking to succeed.
module type Record_builder_S = sig ... end
Modules of this type are used to traverse a record using a specific applicative. They can be made using the functor
Record_builder.Make
.
module type Record_builder_S2 = sig ... end