package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=2cea46f12397fa6e31ef0c0d4f5e11c1cfd916ee49420694005c95ebb3aa24bc

sha512=e94abb9ae38149245337db033e2c3891c7ec772168e99abf1bda0216a894c0854e7170b56fe88eba83ec98f2ebc0f5c7c723e8db14f59eeb6dd348bec12c6d62

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