(* buildPolycomp*)

open Make;
loadFrom "ML_CONSULT_COMP";
make "K";
PolyML.make_database "kit";

