diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-04-04 20:00:39 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-04-11 13:32:31 -0500 |
| commit | 8ac435cac62f20a9c8bfa2d1671332843af66c33 (patch) | |
| tree | c6e020d7319781e183b13384ded6b1e3417a21fb /src/session.mli | |
| parent | aa6b3e603b3ee8e70b5a2e5625711b5da082d076 (diff) | |
| download | vyconf-8ac435cac62f20a9c8bfa2d1671332843af66c33.tar.gz vyconf-8ac435cac62f20a9c8bfa2d1671332843af66c33.zip | |
T7321: add load config operation: load to proposed config
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 2166a80..fec6a4b 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 load : world -> session_data -> string -> session_data + val get_value : world -> session_data -> string list -> string val get_values : world -> session_data -> string list -> string list |