module Modules : sig ... endModular interface.
module Values : sig ... endFirst-class module interface.
include module type of struct include Modules end
with module Applicative := Modules.ApplicativeModular interface.
module type TypeS = Modules.TypeSJust a type `t`. Used for
module Monoid = Modules.Monoidmodule Functor = Modules.FunctorFunctor.S is a signature for a functor (a type 'a `t` with `map`).
module type SequenceSpecS = Modules.SequenceSpecSTraversal for abstract sequences.
module type SequenceS = Modules.SequenceSmodule Sequence = Modules.Sequencemodule List = Modules.ListTraversal for lists.
module Seq = Modules.SeqTraversal for sequences.
include module type of struct include Values end
with module Applicative := Values.ApplicativeFirst-class module interface.
include sig ... endinclude sig ... endinclude sig ... endval list :
('a * 'b * ('a list * 'b_seq * 'tail)) Values.Applicative.t ->
('b, 'b_seq, 'f, 'result, [ `Not_empty ])
Traverse__.Traverse_modules.List.Arity.t ->
'f ->
'resultval seq :
('a * 'b * ('a Stdcompat.Seq.t * 'b_seq * 'tail)) Values.Applicative.t ->
('b, 'b_seq, 'f, 'result, [ `Not_empty ])
Traverse__.Traverse_modules.Seq.Arity.t ->
'f ->
'resultmodule Applicative : sig ... end