]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/getter/tree.mli
76118a1424aa2aae030bad29df821817d89bd8b3
[helm.git] / helm / ocaml / getter / tree.mli
1 type tree
2
3 val empty_tree: tree
4
5 val add_uri: string -> tree -> tree
6 val remove_uri: string -> tree -> tree
7
8 val ls_path: string -> tree -> string list
9
10 val save_to_disk: string -> tree -> unit
11 val load_from_disk: string -> tree
12