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