Lines Matching defs:stat
147 | (k,((strm,tb),stat)) :: _ =>
154 (case stat of
155 Stalling _ => statusString stat
197 (fn ((strm,tb),stat) =>
199 val stat' = case stat of MRunning c => MRunning (nextchar c)
207 (((strm,append msg tb), stat')));
213 fun after_check strm stat =
215 val stat' =
216 case stat of
223 Binarymap.insert(!monitor_map, tag, (strm, stat'));
230 (fn (strm,stat) =>
231 check_time (delay, jkey, (fn () => after_check strm stat)))
235 (fn ((strm,tb),stat) =>
261 (fn ((strm,tb), stat) =>