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

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