package merlin-lib

  1. Overview
  2. Docs
package merlin-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type

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