Lines Matching defs:result
209 val () = Print.trace pp "Rewrite.add: result" rw
405 val result = rewriteIdRule' order known redexes id th
407 val () = Print.trace Thm.pp "Rewrite.rewriteIdRule': result" result
409 val _ = not (thmReducible order known id result) orelse
412 result
647 val result as (Rewrite {known = known', ...}, _) = reduce' rw
650 val () = Print.trace ppResult "Rewrite.reduce': result" result
657 result