From 882511dc8c0abded18ba6abdca64938db2652771 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Wed, 23 Sep 2026 03:32:15 -0300
Subject: lift retaining, membership and mode checks out of ephemeral relation

---
 lib/protocols/Cursor.mli | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/protocols/Cursor.mli')

diff --git a/lib/protocols/Cursor.mli b/lib/protocols/Cursor.mli
index 08c7628..c977fec 100644
--- a/lib/protocols/Cursor.mli
+++ b/lib/protocols/Cursor.mli
@@ -14,6 +14,11 @@ val fetch : t Handle.interface -> int -> (batch, Concepts.Condition.condition) r
 
 val next : t Handle.interface -> (Concepts.Tuple.t option, Concepts.Condition.condition) result
 
+val exists :
+  t Handle.interface ->
+  (Concepts.Tuple.t -> bool) ->
+  (bool, Concepts.Condition.condition) result
+
 val drain :
   t Handle.interface ->
   ?limit:int ->
-- 
cgit v1.2.3