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

   1 module EC = RecommCheck
   2 module ES = RecommStep
   3 module ET = RecommTypes
   4
   5 module D = RecommGcsWith
   6
   7 let b_line = ref ES.id
   8
   9 let rec k_and k st outs ins =
  10   if st <> ET.OK then k ET.KO outs ins else
  11   match ins with
  12   | "and" :: tl -> step k ET.OK ("and" :: outs) tl
  13   | _           -> k ET.OK outs ins
  14
  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
  18
  19 let register_b =
  20   ES.register b_line
  21
  22 let main =
  23   EC.register_s step