Module Ocaml_typing.NaturalSource

Support for creating fresh types isomorphic to the natural numbers

Sourcemodule type Array = sig ... end

Module type for arrays indexed by a type index

Sourcemodule type S_no_zero = sig ... end

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

Sourcemodule type S = sig ... end

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

Sourcemodule Make () : S

Functor to create fresh types isomorphic to the natural numbers

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