Module Ocaml_typing.Natural

Support for creating fresh types isomorphic to the natural numbers

module type Array = sig ... end

Module type for arrays indexed by a type index

module type S_no_zero = sig ... end

Module type for types isomorphic to the natural numbers without zero (up to maximum)

module type S = sig ... end

Module type for types isomorphic to the natural numbers (up to maximum)

module Make () : S

Functor to create fresh types isomorphic to the natural numbers

Functor to create fresh types isomorphic to the natural numbers without zero