jon.recoil.org

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)

Functor to create fresh types isomorphic to the natural numbers

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