From 6490333267cd72abf3f1f04a7e8539f88079cb29 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 24 Apr 2015 18:07:40 +0600 Subject: Initial implementation of the reference tree module. --- src/reference_tree.mli | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 src/reference_tree.mli (limited to 'src/reference_tree.mli') 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 -- cgit v1.2.3