package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install

dune-project
 Dependency

Authors

Maintainers

Sources

merlin-5.8.1-505.tbz
sha256=b8fb32bc0fc092af2fd6bdc831cb966057f2e3fd7b99a172b705e96ba8082583
sha512=01ca96f8167d062ba24036e43f650ff958fb157d44867bd52eb7999b7d19bf9fc97cdcd46c04b6979f0e1149d5041047723eed5913b03c4404d7acb116183bee

doc/merlin-lib.ocaml_typing/Ocaml_typing/Natural/Make/index.html

Module Natural.MakeSource

Functor to create fresh types isomorphic to the natural numbers

Parameters

Signature

include S_no_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
Sourceval zero : t