Lines Matching defs:strm
219 val strm = TextIO.openOut (genLogFile{tag = tag, dir = dir})
227 {os = strm, tb = tb, status = MRunning #"|",
235 (fn (pinfo as {os = strm,tb,status=stat,...}) =>
241 TextIO.output(strm,msg);
242 TextIO.flushOut strm;
251 fun after_check (pi as {os = strm, status = stat, tb, start_time}) =
274 (fn {os = strm,tb,status=stat,start_time} =>
300 TextIO.closeOut strm;
307 (fn {os = strm,tb, status = stat,...} =>
309 TextIO.closeOut strm;