diff options
| -rw-r--r-- | src/vytree.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/vytree.ml b/src/vytree.ml index 8cc6fc5..a439ec1 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -1,11 +1,9 @@ -type 'a vyconf_tree = { +type 'a t = { name: string; data: 'a; - children: 'a vyconf_tree list + children: 'a t list } -type 'a t = 'a vyconf_tree - type position = Before of string | After of string | Default exception Empty_path |