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

   1 module D = RecommGcsMain
   2
   3 let step k ok outs ins =
   4   if ok then k ok outs ins else
   5   match ins with
   6   | "with" :: tl -> k ok ("with" :: outs) tl
   7   | _ -> k true outs ins
   8
   9 let main =
  10   RecommCheck.register_s step