From 26a2e2862efd662b12a56e94785a163417b981c2 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Wed, 28 Dec 2016 11:46:35 +0700
Subject: Update the session module interface to expose the new functions.

---
 src/session.mli | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/session.mli b/src/session.mli
index 0180549..292e4df 100644
--- a/src/session.mli
+++ b/src/session.mli
@@ -15,8 +15,16 @@ type session_data = {
     changeset: cfg_op list
 }
 
+exception Session_error of string
+
 val make : world -> session_data
 
 val set : world -> session_data -> string list -> session_data
 
 val delete : world -> session_data -> string list -> session_data
+
+val get_value : world -> session_data -> string list -> string
+
+val get_values : world -> session_data -> string list -> string list
+
+val exists : world -> session_data -> string list -> bool
-- 
cgit v1.2.3