diff options
Diffstat (limited to 'lib/concepts/Cardinality.mli')
| -rw-r--r-- | lib/concepts/Cardinality.mli | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/concepts/Cardinality.mli b/lib/concepts/Cardinality.mli new file mode 100644 index 0000000..d345bce --- /dev/null +++ b/lib/concepts/Cardinality.mli @@ -0,0 +1,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 |