Lines Matching refs:trace
172 val () = Print.trace LiteralSet.pp "reconstructSubst: cl" cl
173 val () = Print.trace LiteralSet.pp "reconstructSubst: cl'" cl'
221 val () = Print.trace LiteralSet.pp "Proof.reconstructEquality: cl" cl
271 val () = Print.trace ppCands
309 val () = Print.trace Thm.pp "Proof.thmToInference: th" th
318 val () = Print.trace ppThmInf "Proof.thmToInference: thmInf" thmInf
324 val () = Print.trace ppInference "Proof.thmToInference: inf" inf
395 val () = Print.trace Print.ppInt "Proof.proof: unnecessary clauses" (LiteralSetMap.size ths)
404 val () = Print.trace Thm.pp "Proof.proof: th" th
409 val () = Print.trace Print.ppInt "Proof.proof: size" (length infs)