NCicProof.set_default_sig()
;;
-let debug _ = ();;
+let noprint _ = ();;
let print s = prerr_endline (Lazy.force s);;
+let debug = noprint;;
module B(C : NCicBlob.NCicContext): Orderings.Blob
with type t = NCic.term and type input = NCic.term
| _ -> false
;;
-
(*
let demodulate rdb metasenv subst context s goal =
(* let stamp = Unix.gettimeofday () in *)