From 818b77f04452c7cb8d7cb4e77c23312901e5a4bd Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 23:01:03 -0300 Subject: listener working under RNT with a minimal drl --- lib/RNT.mli | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/RNT.mli') diff --git a/lib/RNT.mli b/lib/RNT.mli index 841ab2d..db9e111 100644 --- a/lib/RNT.mli +++ b/lib/RNT.mli @@ -9,8 +9,10 @@ type blueprint = | Branch | Multigroup | Relation of {heading: string Utilities.StringMap.t; tuples: Value.t Utilities.StringMap.t list} + | Session of string type plan = Base of path | Project of plan * string list +type session = {branch: string; snapshot: string} val initialize : Sexplib.Sexp.t -> (kernel, Condition.condition) result val shutdown : kernel -> unit @@ -18,6 +20,8 @@ val list : kernel -> path -> (string list, Condition.condition) result val lookup : kernel -> path -> (handle, Condition.condition) result val create : kernel -> path -> blueprint -> (unit, Condition.condition) result val remove : kernel -> path -> (unit, Condition.condition) result +val session : kernel -> path -> (session, Condition.condition) result +val pin : kernel -> path -> string -> (unit, Condition.condition) result val release : handle -> unit val identity : handle -> string val describe : handle -> (string Utilities.StringMap.t, Condition.condition) result -- cgit v1.2.3