matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundCounters.ml

   1 let step k ok outs ins =
   2   if ok then k ok outs ins else
   3   match ins with
   4   | "SHIFT" :: tl -> k true ("SHIFT" :: outs) tl
   5   | "MAXIMUM" :: tl -> k true ("MAXIMUM" :: outs) tl
   6   | "MAXIMUN" :: tl -> k true ("MAXIMUM" :: outs) tl
   7   | "ADDITION" :: tl -> k true ("ADDITION" :: outs) tl
   8   | _ -> k ok outs ins
   9
  10 let main =
  11   RecommPccFor.register_r step