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