diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-24 18:07:40 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-24 18:07:40 +0600 |
| commit | 6490333267cd72abf3f1f04a7e8539f88079cb29 (patch) | |
| tree | 5dff8216083b3642ddd0dffbe73ad6421126ea9c /src/reference_tree.mli | |
| parent | 0ec3700ab4835128ef733f9cf7037811034158be (diff) | |
| download | vyconf-6490333267cd72abf3f1f04a7e8539f88079cb29.tar.gz vyconf-6490333267cd72abf3f1f04a7e8539f88079cb29.zip | |
Initial implementation of the reference tree module.
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 |
