From 584fbca6d920e9a9f91d451667f9380714ac2175 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 25 Sep 2026 21:51:33 -0300 Subject: dune fmt --- lib/protocols/Relation.mli | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/protocols/Relation.mli') diff --git a/lib/protocols/Relation.mli b/lib/protocols/Relation.mli index 384877e..b4a11ec 100644 --- a/lib/protocols/Relation.mli +++ b/lib/protocols/Relation.mli @@ -16,5 +16,4 @@ val predicate : val local_constraints : t Handle.interface -> (Concepts.Hash.hash option, Concepts.Condition.condition) result -val contains : - t Handle.interface -> Concepts.Tuple.t -> (bool, Concepts.Condition.condition) result +val contains : t Handle.interface -> Concepts.Tuple.t -> (bool, Concepts.Condition.condition) result -- cgit v1.2.3