package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=c5e91975f3df56849e1b306f356c31709a2b139d7d57634b8d21e473266fcf2d

sha512=1d2db379b496dc0b95874f312011cce1a48f6808e098f1aff768de0eef0caff222adc17ab61b85c7aac8d889bf9d829fb5d0211267c7a85572ce201c1cbcb990

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