diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-03-27 07:52:23 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-03-27 07:52:23 +0600 |
| commit | 543409e6acfb9851e3fc1d78f4ba6b34b3bebc60 (patch) | |
| tree | f6c567100db10052b3de3d0c5c9a2da7c7ffb28b /src | |
| parent | 5468bdb0784ea3e518b0079e227d76f2a10c5597 (diff) | |
| download | vyconf-543409e6acfb9851e3fc1d78f4ba6b34b3bebc60.tar.gz vyconf-543409e6acfb9851e3fc1d78f4ba6b34b3bebc60.zip | |
Add a type for differentiating nodes.
Diffstat (limited to 'src')
| -rw-r--r-- | src/vytree.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vytree.ml b/src/vytree.ml index f925488..1f046dc 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -6,6 +6,8 @@ type 'a vyconf_tree = { type 'a t = 'a vyconf_tree +type node_type = Tag | Leaf | Other + exception Empty_path exception Duplicate_child exception Nonexistent_path |