From 63616d9c4337bde77cbc1cf8fbd763bef7befa2e Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 30 Dec 2016 22:41:25 +0700 Subject: Expose the string_of_op function in the module interface. --- src/session.mli | 2 ++ 1 file changed, 2 insertions(+) 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 -- cgit v1.2.3