new getter implementation: no more DBM maps

[helm.git] / helm / ocaml / getter / tree.mli

diff --git a/helm/ocaml/getter/tree.mli b/helm/ocaml/getter/tree.mli
deleted file mode 100644 (file)
index 76118a1..0000000
--- a/helm/ocaml/getter/tree.mli
+++ /dev/null
@@ -1,12 +0,0 @@
-type tree
-
-val empty_tree: tree
-
-val add_uri: string -> tree -> tree
-val remove_uri: string -> tree -> tree
-
-val ls_path: string -> tree -> string list
-
-val save_to_disk: string -> tree -> unit
-val load_from_disk: string -> tree
-