]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/getter/tree.mli
New argument (the identifier) to generalize.
[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