CompletedNat.mli 350 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
(* The natural numbers, completed with [Infinity], and ordered towards
   zero (i.e. [Infinity] is [bottom], [Finite 0] is [top]). *)

type t =
| Finite of int
| Infinity

include Fix.PROPERTY with type property = t

val min: t -> t -> t
val add: t -> t -> t

val min_lazy: t -> t Lazy.t -> t
val add_lazy: t -> t Lazy.t -> t

val print: t -> string