diff options
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 |
