open Printf
open MatitaTypes
-let debug = true ;;
+let debug = false ;;
let debug_print = if debug then prerr_endline else ignore ;;
(** create a ProofEngineTypes.mk_fresh_name_type function which uses given
CicAst.Binder (`Forall, (Cic.Name name, Some ast), acc))
(params @ ["",ty] @ fields) (CicAst.Sort `Type)
in
- prerr_endline (CicAstPp.pp_term packed);
+ debug_print (CicAstPp.pp_term packed);
let status, packed = disambiguate_term status packed in
let rec split t = function
| [] -> [],t