diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-13 20:01:36 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-13 20:01:36 +0600 |
| commit | 7fd7552fd0d912d3b2e5685a42c19cd7557a3ac9 (patch) | |
| tree | d04970bc724adf79cd45d22b5dc1edfdcc548395 | |
| parent | 5c6023a917e4bf1fdfb738d779687393b222468b (diff) | |
| download | vyconf-7fd7552fd0d912d3b2e5685a42c19cd7557a3ac9.tar.gz vyconf-7fd7552fd0d912d3b2e5685a42c19cd7557a3ac9.zip | |
Expose node_type and position types.
| -rw-r--r-- | src/vytree.ml | 2 | ||||
| -rw-r--r-- | src/vytree.mli | 4 |
2 files changed, 6 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 diff --git a/src/vytree.mli b/src/vytree.mli index e990d1d..d268db4 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -4,6 +4,10 @@ exception Empty_path exception Duplicate_child exception Nonexistent_path +type position = Before of string | After of string | Default + +type node_type = Leaf | Tag | Other + val make : 'a -> string -> 'a t val make_full : 'a -> string -> ('a t) list -> 'a t |