package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=da5bf309b040645c292ae4572cc6a0a700dbd2bcfc996ac13c8e5c3836c21e26

sha512=99eba17b2bdec5411d239093f4e8e11ada79b2b84ae88074a1b46e47eb836bbf8cb7836c472c22e7f9e68cff1b9ea6d9b9989b70055c3277edb4cddc4a86460c

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

Sourcetype t

Sourceval one : t

Sourceval maximum : t

Sourceval succ : t -> t

Sourceval pred : t -> t option

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool

Sourceval less_than : t -> t -> bool

Sourceval less_than_or_equal : t -> t -> bool

Sourceval max : t -> t -> t

Sourceval plus : t -> t -> t

Sourceval pp : Format.formatter -> t -> unit

Sourcemodule Map : Map.S with type key = t

Sourcemodule Set : Set.S with type elt = t

Sourcemodule Tbl : Hashtbl.S with type key = t

Sourcemodule Array : Array with type index = t

On This Page