package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=ec23f324f875520cd8897f303cc6d4e595f3d7000914d410729f16b86ad1d70e

sha512=8db22100cc0af65b08f456a2a7af84e75396f5869ee7552f1f5888a1c0279d1d85e6eecb3a677ae6f0973a99823cddba0563843ce216197255667342ef161885

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