diff options
Diffstat (limited to 'src/reference_tree.mli')
-rw-r--r-- | src/reference_tree.mli | 16 |
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 |