blob: d345bce4319ee31b68df637271158ef3d686549e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
type t = Empty | Bounded of int | Finite | Countable
val bounded : int -> t
val compare : t -> t -> Utilities.Ordering.t
val equal : t -> t -> bool
val leq : t -> t -> bool
val meet : t -> t -> t
val exhaustible : t -> bool
val to_string : t -> string
|
