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

   1 module T = RecommTypes
   2 module R = RecommCheck
   3 module D = RecommGcsMain
   4
   5 let step k st outs ins =
   6   if st = T.KO then k st outs ins else
   7   match ins with
   8   | "with" :: tl -> k T.OK ("with" :: outs) tl
   9   | "of" :: tl -> k T.OK ("with" :: outs) tl
  10   | "for" :: tl -> k T.OK ("with" :: outs) tl
  11   | _ -> k T.OO outs ins
  12
  13 let main =
  14   R.register_s step