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

   1 let step k ok outs ins =
   2   if ok then k ok outs ins else
   3   match ins with
   4   | "rtc_plus" :: tl -> k true ("rtc_plus" :: outs) tl
   5   | "rtc_max" :: tl -> k true ("rtc_max" :: outs) tl
   6   | "rtc_shift" :: tl -> k true ("rtc_shift" :: outs) tl
   7   | _ -> k ok outs ins
   8
   9 let main =
  10   RecommPcsAnd.register_b step