(* buildNJbatch *)

open Make;
loadFrom "ML_CONSULT_INT";
make "K";
exportFn ("evalFile", fn((_::infile::rest),_) => evalFile infile);

