Generic_types.S0
S0 defines the types used in arity-0 container-like signatures.
S0
type t
The container type.
type elt
The element type.