From 7c02dc2a949798a3fea3dbcce5a63888a3f10f51 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 17 Apr 2015 20:17:48 +0600 Subject: Make multi-value and single-value leaf nodes separate things. --- src/vytree.ml | 2 +- src/vytree.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/vytree.ml b/src/vytree.ml index 728e26d..ec48848 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -6,7 +6,7 @@ type 'a t = { type position = Before of string | After of string | Default -type node_type = Leaf | Tag | Other +type node_type = Leaf_single | Leaf_multi | Tag | Other exception Empty_path exception Duplicate_child diff --git a/src/vytree.mli b/src/vytree.mli index cebbcde..c04087a 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -7,7 +7,7 @@ exception Insert_error of string type position = Before of string | After of string | Default -type node_type = Leaf | Tag | Other +type node_type = Leaf_single | Leaf_multi | Tag | Other val make : 'a -> string -> 'a t val make_full : 'a -> string -> ('a t) list -> 'a t -- cgit v1.2.3