diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 23:01:03 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 23:01:03 -0300 |
| commit | 818b77f04452c7cb8d7cb4e77c23312901e5a4bd (patch) | |
| tree | dea3d25643f9c0f4256fca125b83d277a1068719 /lib/RNT.mli | |
| parent | 320954996e921d7b34eb61f462799b5c6ab8ee09 (diff) | |
| download | Sakura-818b77f04452c7cb8d7cb4e77c23312901e5a4bd.tar.gz Sakura-818b77f04452c7cb8d7cb4e77c23312901e5a4bd.zip | |
listener working under RNT with a minimal drl
Diffstat (limited to 'lib/RNT.mli')
| -rw-r--r-- | lib/RNT.mli | 4 |
1 files changed, 4 insertions, 0 deletions
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 |