From 543409e6acfb9851e3fc1d78f4ba6b34b3bebc60 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 27 Mar 2015 07:52:23 +0600 Subject: Add a type for differentiating nodes. --- src/vytree.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') 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 -- cgit v1.2.3