cardinality concept for relations

1 files changed, 14 insertions, 0 deletions

diff --git a/lib/concepts/Cardinality.mli b/lib/concepts/Cardinality.mli
new file mode 100644
index 0000000..e4df62b
--- /dev/null
+++ b/lib/concepts/Cardinality.mli
@@ -0,0 +1,14 @@
+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 join : t -> t -> t
+val meet : t -> t -> t
+(** the class of a generator run under every binding produced by
+    another, which is how the classes of the generators chosen by an
+    analysis combine. *)
+val product : t -> t -> t
+val exhaustible : t -> bool
+val to_string : t -> string