diff options
Diffstat (limited to 'lib/domain.ml')
| -rw-r--r-- | lib/domain.ml | 5 |
1 files changed, 3 insertions, 2 deletions
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 } |