(* buildPolyint *)

PolyML.make_database "kit";
open Make;
loadFrom "ML_CONSULT_INT";
make "K";
PolyML.commit ();


