From 99ac1e7d9b77d69f2a85a108468d4433953d8269 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 8 Mar 2026 01:12:02 -0300
Subject: constraints

---
 lib/domain.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib/domain.ml')

diff --git a/lib/domain.ml b/lib/domain.ml
index 753a7b9..87ed1a9 100644
--- a/lib/domain.ml
+++ b/lib/domain.ml
@@ -3,7 +3,8 @@ type t = {
   generator : Generator.t;
   membership_criteria : Tuple.t -> bool;
   cardinality : Conventions.Cardinality.t;
+  compare : Conventions.AbstractValue.t -> Conventions.AbstractValue.t -> int;
 }
 
-let make ~name ~generator ~membership_criteria ~cardinality =
-  { name; generator; membership_criteria; cardinality }
+let make ~name ~generator ~membership_criteria ~cardinality ~compare =
+  { name; generator; membership_criteria; cardinality; compare }
-- 
cgit v1.2.3