1 module EC = RecommCheck
8 let k_for k ok outs ins =
11 | "for" :: tl -> !d_line k false ("for" :: outs) tl
12 | _ -> k true outs ins
17 let k_or k ok outs ins =
18 if ok then k ok outs ins else
19 !r_line (k_for k) ok outs ins
21 let step k ok outs ins =
22 if ok then k ok outs ins else
23 !d_line (k_or k) ok outs ins