Lines Matching defs:step
168 datatype step =
175 type ppstream = step Stream.stream;
179 fun toStringStep step =
180 case step of
447 fun ppStep step =
449 (ppStepType step ::
450 (case step of
1455 fun execute step state =
1459 case step of
1468 val execute = fn step => fn state =>
1470 val (lines,state) = execute step state
1477 raise Bug ("Print.execute: after " ^ toStringStep step ^