Does anybody know what the formal specification of fast_term_ord is? I gather that fast_term_ord does not check for eta equivalence? What about term_ord?
Last updated: Apr 03 2025 at 20:22 UTC