diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-09-23 08:10:07 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-09-23 08:10:07 +0600 |
| commit | 7dce03a1f95b618cd53ae84685ec7ca08a5e55ac (patch) | |
| tree | 9014bdf64c1798c07659feb5eddfc5763a0bffbe | |
| parent | 39ca40199cd10d3bebfa7cb7f68b4be23ccfd7d7 (diff) | |
| download | vyconf-7dce03a1f95b618cd53ae84685ec7ca08a5e55ac.tar.gz vyconf-7dce03a1f95b618cd53ae84685ec7ca08a5e55ac.zip | |
Expose set and delete in session module signature.
| -rw-r--r-- | src/session.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/session.mli b/src/session.mli index e4d48b8..273d434 100644 --- a/src/session.mli +++ b/src/session.mli @@ -16,3 +16,6 @@ type session_data = { val make : world -> session_data +val set : world -> session_data -> string list -> session_data + +val delete : world -> session_data -> string list -> session_data |