From e3d3e20dfea253de291d5b31059cd55c0eaabf02 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 11 May 2026 23:10:27 -0300 Subject: Multigroup unified reference for hierarchical access --- lib/domain.ml | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 lib/domain.ml (limited to 'lib/domain.ml') diff --git a/lib/domain.ml b/lib/domain.ml deleted file mode 100644 index 87ed1a9..0000000 --- a/lib/domain.ml +++ /dev/null @@ -1,10 +0,0 @@ -type t = { - name : Conventions.Name.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 ~compare = - { name; generator; membership_criteria; cardinality; compare } -- cgit v1.2.3