From 504e2d03a10f1641b36a9d5f127a18bc943562ce Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 13:22:10 -0300
Subject: ephemeral relations as outputs of FOL and program overhaul

---
 lib/protocols/Program.mli | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 lib/protocols/Program.mli

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

diff --git a/lib/protocols/Program.mli b/lib/protocols/Program.mli
deleted file mode 100644
index 6cdffd8..0000000
--- a/lib/protocols/Program.mli
+++ /dev/null
@@ -1,15 +0,0 @@
-module type PROGRAM = sig
-  type t
-end
-
-module Make (P : PROGRAM) : sig
-  type t
-
-  class type implementation = object
-    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 -> P.t -> (Handle.t, Concepts.Condition.condition) result
-end
-- 
cgit v1.2.3