1 module EC = RecommCheck
3 module ET = RecommTypes
5 module D = RecommGcsWith
9 let rec k_and k st outs ins =
10 if st <> ET.OK then k ET.KO outs ins else
12 | "and" :: tl -> step k ET.OK ("and" :: outs) tl
13 | _ -> k ET.OK outs ins
15 and step k st outs ins =
16 if st <> ET.OK then k st outs ins else
17 !b_line (k_and k) ET.OO outs ins