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

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