From ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 13 Sep 2026 14:27:37 -0300
Subject: fol evaluator

---
 lib/kernel/Initialization.mli | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'lib/kernel/Initialization.mli')

diff --git a/lib/kernel/Initialization.mli b/lib/kernel/Initialization.mli
index 104d523..926bbd8 100644
--- a/lib/kernel/Initialization.mli
+++ b/lib/kernel/Initialization.mli
@@ -1,3 +1,6 @@
 module Make (S : Abstract.Storage.STORAGE) : sig
-  val initialize : S.connection -> (Protocols.Handle.t, Concepts.Condition.condition) result
+  val initialize :
+    ?evaluators:(string * Protocols.Handle.t) list ->
+    S.connection ->
+    (Protocols.Handle.t, Concepts.Condition.condition) result
 end
-- 
cgit v1.2.3