CristalCaveGem » LustreC

  (* Importing source *)

  let prog, dependencies, (typ_env, clk_env) = Modules.load ~is_header:(extension = ".lusi") prog in

  (* Registering types and clocks for future checks *)

  Global.type_env := Env.overwrite !Global.type_env typ_env;

  Global.clock_env := Env.overwrite !Global.clock_env clk_env;

  (* Sorting nodes *)

  let prog = SortProg.sort prog in

  (* Consolidating contracts *)

  let prog = resolve_contracts prog in

  let prog = SortProg.sort prog in

  Log.report ~level:3 (fun fmt ->

      Format.fprintf fmt "@[<v 0>Contracts resolved:@ %a@ @]@ " Printers.pp_prog prog);