package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=f6d6f7a266141e358c1a869612c8135c859185d547ea3ba5c9ad7bb67fe30cc1

sha512=4f272bdb028fd984fef406f7e1eadd0a3ab99d94016316f1b842782b1d1bba2bd50dcf3b4021c2096c6d9b5e5f9f6bae61bedcfd9f933f15c190e01777ef83a9

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

Sourcemodule Make_no_zero () : S_no_zero

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