open Alloyast

let blackbox () =
  prerr_endline "Alloy parser";
  prerr_endline "Copyleft 2006-08-15 Tahina Ramananandro, ENS, Paris, France"; 
  prerr_endline "Distributed under GPL";
  prerr_string "> "; flush stderr;

  let env_init = {(empty_env ()) with
    env_modul = Alloyparse.modul;
    env_token = Alloylex.token;
  } in

  let env_fin = process_channel stdin env_init in

  let n, res = Alloyconstr.finaliser env_fin in

  let res2 = Alloy2fol.convert_res res in

  let res3 = {
    res2 with Symb.res_axiomes = Alloy2fol.theorie res2.Symb.res_axiomes n;
  } in

  res3