diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-08 01:12:02 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-08 01:12:02 -0300 |
| commit | 99ac1e7d9b77d69f2a85a108468d4433953d8269 (patch) | |
| tree | fe549934d1eff7ad3b4384f07ef5c9355a1fee64 /lib/domain.ml | |
| parent | 54015bfbe98cfd850e1a6c142d8f514a9f48ddd9 (diff) | |
| download | Sakura-99ac1e7d9b77d69f2a85a108468d4433953d8269.tar.gz Sakura-99ac1e7d9b77d69f2a85a108468d4433953d8269.zip | |
constraints
Diffstat (limited to '')
| -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 } |