diff options
Diffstat (limited to 'src/vytree.mli')
| -rw-r--r-- | src/vytree.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/vytree.mli b/src/vytree.mli index 2ab2c63..4ba50ca 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -7,8 +7,6 @@ exception Insert_error of string type position = Before of string | After of string | End | Default -type node_type = Leaf | Tag | Other - val make : 'a -> string -> 'a t val make_full : 'a -> string -> ('a t) list -> 'a t |