summaryrefslogtreecommitdiff
path: root/src/reference_tree.mli
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2016-12-23 08:18:24 +0700
committerDaniil Baturin <daniil@baturin.org>2016-12-23 08:18:24 +0700
commit774f08fe9ac955202c484ec040d014eb982c6827 (patch)
tree2a9b97b46f5d4c0bfa403ad76623a0f4ddb133ec /src/reference_tree.mli
parent98072015c4be78f3bb4bb048b07d261287173b81 (diff)
parent2809c58e50206a2c94a1629f80c28a22af28e8c3 (diff)
downloadvyconf-774f08fe9ac955202c484ec040d014eb982c6827.tar.gz
vyconf-774f08fe9ac955202c484ec040d014eb982c6827.zip
Merge branch 'philsummers-master'
Diffstat (limited to 'src/reference_tree.mli')
-rw-r--r--src/reference_tree.mli12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli
index 3bbfc4b..8b635d2 100644
--- a/src/reference_tree.mli
+++ b/src/reference_tree.mli
@@ -29,3 +29,15 @@ val is_multi : t -> string list -> bool
val is_hidden : t -> string list -> bool
val is_secret : t -> string list -> bool
+
+val is_tag : t -> string list -> bool
+
+val is_leaf : t -> string list -> bool
+
+val is_valueless : t -> string list -> bool
+
+val get_keep_order : t -> string list -> bool
+
+val get_owner : t -> string list -> string option
+
+val get_help_string : t -> string list -> string