summaryrefslogtreecommitdiff
path: root/src/vytree.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/vytree.ml')
-rw-r--r--src/vytree.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vytree.ml b/src/vytree.ml
index a439ec1..6eccc55 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -6,6 +6,8 @@ type 'a t = {
type position = Before of string | After of string | Default
+type node_type = Leaf | Tag | Other
+
exception Empty_path
exception Duplicate_child
exception Nonexistent_path