diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-30 22:41:25 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-30 22:41:25 +0700 |
| commit | 63616d9c4337bde77cbc1cf8fbd763bef7befa2e (patch) | |
| tree | 784879e35140b9262844da5d3baba993e9147205 /src | |
| parent | 81f24fa057f34a3b98f564dbc91b547a8c42d088 (diff) | |
| download | vyconf-63616d9c4337bde77cbc1cf8fbd763bef7befa2e.tar.gz vyconf-63616d9c4337bde77cbc1cf8fbd763bef7befa2e.zip | |
Expose the string_of_op function in the module interface.
Diffstat (limited to 'src')
| -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 292e4df..96b3e85 100644 --- a/src/session.mli +++ b/src/session.mli @@ -28,3 +28,5 @@ 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 + +val string_of_op : cfg_op -> string |