Module `Natural.Make_no_zero`

Functor to create fresh types isomorphic to the natural numbers without zero

Parameters

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 : Stdlib.Format.formatter -> t -> unit

module Map : Stdlib.Map.S with type key = t

module Set : Stdlib.Set.S with type elt = t

module Tbl : Stdlib.Hashtbl.S with type key = t

module Array : Ocaml_typing.Natural.Array with type index = t