(*
  Cours "Sémantique et Application à la Vérification de programmes"
  
  Antoine Miné 2014
  Ecole normale supérieure, Paris, France / CNRS / INRIA
*)

val parse_file: string -> Abstract_syntax_tree.prog 
(* Opens and parses a file given as argument. *)