From 99ac1e7d9b77d69f2a85a108468d4433953d8269 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 8 Mar 2026 01:12:02 -0300 Subject: constraints --- lib/conventions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/conventions.ml') 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 -- cgit v1.2.3