summaryrefslogtreecommitdiff
path: root/src/reference_tree.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/reference_tree.mli')
-rw-r--r--src/reference_tree.mli16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli
new file mode 100644
index 0000000..f588144
--- /dev/null
+++ b/src/reference_tree.mli
@@ -0,0 +1,16 @@
+type ref_node_data = {
+ node_type: Vytree.node_type;
+ constraints: (Value_checker.value_constraint list);
+ help: string;
+ value_help: (string * string) list;
+ constraint_error_message: string;
+ multi: bool;
+ valueless: bool;
+ owner: string option;
+}
+
+type t = ref_node_data Vytree.t
+
+val default_data : ref_node_data
+
+val load_from_xml : t -> string -> t