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

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