remove dead API

2 files changed, 0 insertions, 15 deletions

diff --git a/lib/concepts/Cardinality.ml b/lib/concepts/Cardinality.ml
index a87f9c8..d878aa9 100644
--- a/lib/concepts/Cardinality.ml
+++ b/lib/concepts/Cardinality.ml
@@ -10,16 +10,7 @@ let compare a b =
 
 let equal a b = compare a b = Utilities.Ordering.Equal
 let leq a b = compare a b <> Utilities.Ordering.Greater
-let join a b = if leq a b then b else a
 let meet a b = if leq a b then a else b
-
-let product a b =
-  match a, b with
-  | Empty, _ | _, Empty -> Empty
-  | Countable, _ | _, Countable -> Countable
-  | Finite, _ | _, Finite -> Finite
-  | Bounded n, Bounded m -> if n > max_int / m then Finite else bounded (n * m)
-
 let exhaustible = function Countable -> false | Empty | Bounded _ | Finite -> true
 
 let to_string = function
diff --git a/lib/concepts/Cardinality.mli b/lib/concepts/Cardinality.mli
index c9a5d6d..d345bce 100644
--- a/lib/concepts/Cardinality.mli
+++ b/lib/concepts/Cardinality.mli
@@ -4,12 +4,6 @@ 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