From 9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 13 Sep 2026 03:19:46 -0300
Subject: appropriate enumeration  for tuple split on object and resident

---
 lib/runtime/Context.mli | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'lib/runtime/Context.mli')

diff --git a/lib/runtime/Context.mli b/lib/runtime/Context.mli
index 31ef194..6e7ab2f 100644
--- a/lib/runtime/Context.mli
+++ b/lib/runtime/Context.mli
@@ -1,8 +1,11 @@
+val resolve :
+  Protocols.Context.t ->
+  string ->
+  (Protocols.Handle.t option, Concepts.Condition.condition) result
+
 val over :
+  snapshot:Concepts.Hash.hash ->
   root:Protocols.Handle.t ->
-  ?budget:int ->
   ?cancelled:(unit -> bool) ->
   unit ->
   Protocols.Context.t
-
-val remaining : Protocols.Context.t -> int option
-- 
cgit v1.2.3