matita/matita/contribs/lambdadelta/bin/recomm/recommCheck.mli

   1 val log_k: bool ref
   2
   3 val log_m: bool ref
   4
   5 val log_o: bool ref
   6
   7 val log_s: bool ref
   8
   9 val log_t: bool ref
  10
  11 val bw: bool ref
  12
  13 val register_c: RecommTypes.step -> unit
  14
  15 val register_s: RecommTypes.step -> unit
  16
  17 val recomm_srcs: RecommTypes.srcs -> RecommTypes.srcs