From 24bb5eab738e291ee170f4fd563f39e33f65f37d Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Thu, 17 Sep 2026 03:36:30 +0000
Subject: WIP forsake context

---
 lib/protocols/Program.mli | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

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

diff --git a/lib/protocols/Program.mli b/lib/protocols/Program.mli
index 1d6c3ae..9cf4455 100644
--- a/lib/protocols/Program.mli
+++ b/lib/protocols/Program.mli
@@ -6,18 +6,11 @@ module Make (P : PROGRAM) : sig
   type t
 
   class type implementation = object
-    method invoke :
-      program:P.t ->
-      Context.t ->
-      (Handle.t, Concepts.Condition.condition) result
+    method invoke : P.t -> (Handle.t, Concepts.Condition.condition) result
   end
 
   val make : #implementation -> Handle.protocol
   val from : Handle.t -> t Handle.interface option
 
-  val invoke :
-    t Handle.interface ->
-    program:P.t ->
-    Context.t ->
-    (Handle.t, Concepts.Condition.condition) result
+  val invoke : t Handle.interface -> P.t -> (Handle.t, Concepts.Condition.condition) result
 end
-- 
cgit v1.2.3