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

   1 module EC = RecommCheck
   2 module ES = RecommStep
   3 module ET = RecommTypes
   4
   5 module D = RecommPcsAnd
   6
   7 let p_line = ref ES.id
   8
   9 let step k st outs ins =
  10   if st = ET.KO then k st outs ins else
  11   !p_line k ET.OO outs ins
  12
  13 let register_p =
  14   ES.register p_line
  15
  16 let main =
  17   EC.register_s step