utilities for creating environment dumps

[helm.git] / helm / ocaml / cic_proof_checking / utilities / list_uris.ml

let ic = open_in Sys.argv.(1) in
CicEnvironment.restore_from_channel ic;
List.iter
  (fun uri -> print_endline (UriManager.string_of_uri uri))
  (CicEnvironment.list_uri ())