package merlin-lib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor to create fresh types isomorphic to the natural numbers

Parameters

Signature

include S_no_zero
type t
val one : t
val maximum : t
val succ : t -> t
val pred : t -> t option
val compare : t -> t -> int
val equal : t -> t -> bool
val less_than : t -> t -> bool
val less_than_or_equal : t -> t -> bool
val max : t -> t -> t
val plus : t -> t -> t
val pp : Format.formatter -> t -> unit
module Map : Map.S with type key = t
module Set : Set.S with type elt = t
module Tbl : Hashtbl.S with type key = t
module Array : Array with type index = t
val zero : t
OCaml

Innovation. Community. Security.