From cab7d1cddaace91d0bb4230ffe5c80e42a8df4b4 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Sun, 11 Feb 2018 09:58:41 +0700 Subject: Expose the list_children function in the Session module interface. --- src/session.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/session.mli b/src/session.mli index dfe2967..0ec844b 100644 --- a/src/session.mli +++ b/src/session.mli @@ -32,4 +32,6 @@ val get_values : world -> session_data -> string list -> string list val exists : world -> session_data -> string list -> bool +val list_children : world -> session_data -> string list -> string list + val string_of_op : cfg_op -> string -- cgit v1.2.3