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: May 18 2025 at 04:27 UTC