3 module D = RecommGcsMain
5 let step k st outs ins =
6 if st = T.KO then k st outs ins else
8 | "with" :: tl -> k T.OK ("with" :: outs) tl
9 | "of" :: tl -> k T.OK ("with" :: outs) tl
10 | "for" :: tl -> k T.OK ("with" :: outs) tl
11 | "on" :: tl -> k T.OK ("with" :: outs) tl
12 | _ -> k T.OO outs ins