package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=60a630f59203a9ce7047a5f04d0f239945960dac6f38102922e328b6d2657384

sha512=19f8ec152356873e29c05b971a529146bb7079929037c2b35a5c0afb0b3adf662341ee8527282c5fdd16de391d01c2c469fc8629af9e0ae443fa9f42472b70bb

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