1(* build command line tool *)
2
3use "header.sml";
4use "holfoot_command_line.sml";
5
6val examplesDir = ".";
7
8val use = QUse.use
9