From e76cc6f862656a3ada9fa3d4418bd060df937885 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 31 Oct 2026 02:27:40 -0300
Subject: format and where claude on fol

---
 lib/concepts/Mode.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/concepts/Mode.ml')

diff --git a/lib/concepts/Mode.ml b/lib/concepts/Mode.ml
index 82c207f..b3031fc 100644
--- a/lib/concepts/Mode.ml
+++ b/lib/concepts/Mode.ml
@@ -16,3 +16,6 @@ let exhaustible modes bound =
   Option.fold ~none:false ~some:Cardinality.exhaustible (generation modes bound)
 
 let project attributes = List.filter (fun {bound; _} -> BatSet.String.subset bound attributes)
+
+let given attributes =
+  List.map (fun {bound; yields} -> {bound= BatSet.String.diff bound attributes; yields})
-- 
cgit v1.2.3