Lines Matching defs:file
14 (* Parse the input file *)
19 val file = "/home/tt291/Documents/thesis/holmunge/test.hix";
103 | ["Overrides", file] =>
104 (mungeTools.user_overrides := mungeTools.read_overrides file;
121 val file = if Path.isAbsolute filename then filename else
123 val entryL = AssembleHolindexParser.parse_hdf_file file;
153 fun parse_hix file =
156 val fh = Portable.open_in file;
157 val basedir = Path.dir file;
519 val file = (basename ^ ".hix")
520 val (thmL, termL, typeL) = parse_hix file