From f8b4929f9cf0e21386f0265c8c27527cdada7d78 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 24 Sep 2026 21:51:14 -0300 Subject: generates_when constraint utility --- lib/concepts/Mode.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/concepts/Mode.mli') diff --git a/lib/concepts/Mode.mli b/lib/concepts/Mode.mli index 6a906d1..9ae65c1 100644 --- a/lib/concepts/Mode.mli +++ b/lib/concepts/Mode.mli @@ -13,6 +13,7 @@ type t val attributes_of_list : attribute list -> attributes val attributes_of_map : 'a BatMap.String.t -> attributes val decides_when : attribute list -> mode +val generates_when : attribute list -> Cardinality.t -> mode val enumerable : Cardinality.t -> mode val of_list : mode list -> t -- cgit v1.2.3