Travesty.Generic_types
Generic type signatures.
This module contains several signatures that contain types for container-like structures. These are intended for inclusion in other signatures.
module type Generic = sig ... end
Generic
defines the types used in arity-generic container-like signatures.
module type S0 = sig ... end
S0
defines the types used in arity-0 container-like signatures.
There is no S1
, as Core's T1
has the same effect.
module type Bi_generic = sig ... end
Types used in generic signatures over bi-operations.
module type Bi_left = sig ... end
Types used in leftwards arity-1 bi-operation signatures.
module type Bi_right = sig ... end
Types used in rightwards arity-1 bi-operation signatures.
module type Bi0 = sig ... end
Types used in arity-0 bi-operation signatures.
There is no Bi2
, as Core's T2
has the same effect.