diff options
Diffstat (limited to 'lib/conventions.ml')
| -rw-r--r-- | lib/conventions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/conventions.ml b/lib/conventions.ml index 538bc5c..0019447 100644 --- a/lib/conventions.ml +++ b/lib/conventions.ml @@ -9,7 +9,7 @@ module Name = struct end module Cardinality = struct - type t = Finite of int | AlephZero | Continuum + type t = Finite of int | ConstrainedFinite | AlephZero | Continuum end module AbstractValue = struct |