#directory "../ocaml/cic_unification/"
#directory "../ocaml/cic_proof_checking/"

#install_printer CicMetaSubst.fppsubst;;
(*#install_printer CicMetaSubst.fppterm;;*)
#install_printer CicMetaSubst.fppmetasenv;;

let go = MatitacLib.go;;

let _ = 
  if Array.length Sys.argv > 1 then
    MatitacLib.main `TOPLEVEL
  else
    go ()
;;