CompletedNat.mli 395 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
(* 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

10
11
12
val epsilon: t
val singleton: 'a -> t

13
14
15
val min: t -> t -> t
val add: t -> t -> t

16
17
val min_lazy: t -> (unit -> t) -> t
val add_lazy: t -> (unit -> t) -> t
18
19

val print: t -> string