]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_proof_checking/utilities/list_uris.ml
8dad4e68d99cbba9d4a48f89a9c624e3f60f345a
[helm.git] / helm / ocaml / cic_proof_checking / utilities / list_uris.ml
1 let ic = open_in Sys.argv.(1) in
2 CicEnvironment.restore_from_channel ic;
3 List.iter
4   (fun uri -> print_endline (UriManager.string_of_uri uri))
5   (CicEnvironment.list_uri ())