diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-04-06 18:26:13 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-04-11 13:32:31 -0500 |
| commit | 9e8feea52140222c689af1439eb7be63a9e121da (patch) | |
| tree | af6359113c97c8479d6a3b7b9d8f4fec58747fa5 /src/session.mli | |
| parent | ad2d932768734b492a54c728b459437056460668 (diff) | |
| download | vyconf-9e8feea52140222c689af1439eb7be63a9e121da.tar.gz vyconf-9e8feea52140222c689af1439eb7be63a9e121da.zip | |
T7321: add discard operation
Diffstat (limited to 'src/session.mli')
| -rw-r--r-- | src/session.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/session.mli b/src/session.mli index f756858..af12af8 100644 --- a/src/session.mli +++ b/src/session.mli @@ -32,6 +32,8 @@ val set : world -> session_data -> string list -> session_data val delete : world -> session_data -> string list -> session_data +val discard : world -> session_data -> session_data + val load : world -> session_data -> string -> session_data val save : world -> session_data -> string -> session_data |