package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=376707aa871f09e9639456d3fbe4b89a21c9ad75c774e94cbbbe67f842b0a500

sha512=a11ea4b8e3520b3ee41ae8198cda34b2816b8dfcdcb99350ef29689a7d62bb66d17ffa075c551aa56d521120b55e6db14a106a31f7b3970ed2aa07e1db3c9b88

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