diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-02-13 23:45:51 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-02-13 23:45:51 +0600 |
| commit | e3cc7a1dc276c64b9626479d09a0ae2d16638b75 (patch) | |
| tree | 84d7007794be357f5205c9a111e4aa79967689b4 /src/vytree.mli | |
| parent | 4598b50d4003f63e87decd7b39ef04b0186c81a5 (diff) | |
| download | vyconf-e3cc7a1dc276c64b9626479d09a0ae2d16638b75.tar.gz vyconf-e3cc7a1dc276c64b9626479d09a0ae2d16638b75.zip | |
Add vytree module signature.
Diffstat (limited to 'src/vytree.mli')
| -rw-r--r-- | src/vytree.mli | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/vytree.mli b/src/vytree.mli new file mode 100644 index 0000000..6a991c0 --- /dev/null +++ b/src/vytree.mli @@ -0,0 +1,16 @@ +type 'a t + +exception Empty_path +exception Duplicate_child +exception Nonexistent_path + +val make : string -> 'a -> 'a t + +val name_of_node : 'a t -> string +val data_of_node : 'a t -> 'a +val children_of_node : 'a t -> 'a t list + +val insert_child : + 'a -> 'a t -> string list -> 'a -> 'a t + +val list_children : 'a t -> string list |