Module TraverseSource

Sourcemodule Modules : sig ... end

Modular interface.

Sourcemodule Values : sig ... end

First-class module interface.

include module type of struct include Modules end with module Applicative := Modules.Applicative
Sourcemodule type TypeS = Modules.TypeS

Just a type `t`. Used for

Sourcemodule Monoid = Modules.Monoid

Monoid.S is a signature for a monoid (a type `t` with `zero` and `+`), and 'a Monoid.t is the type for monoids represented as first-class modules.

Sourcemodule Functor = Modules.Functor

Functor.S is a signature for a functor (a type 'a `t` with `map`).

Sourcetype ('a, 'b) length = ('a, 'b) Modules.length =
  1. | Zero : (unit, unit) length
  2. | Succ : ('a, 'b) length -> (_ * 'a, _ * 'b) length
Sourcemodule type SequenceOfUnaryTypeS = Modules.SequenceOfUnaryTypeS
Sourcemodule Sequence = Modules.Sequence
Sourcemodule type SequenceOfBinaryTypeS = Modules.SequenceOfBinaryTypeS
Sourcemodule Arity = Modules.Arity
Sourceexception StructuralMismatch
include module type of struct include Values end with module Applicative := Values.Applicative
include sig ... end
include sig ... end
include sig ... end
Sourcemodule Applicative : sig ... end
Sourcemodule Primitives : sig ... end