Stream: General

Topic: fast_term_ord

Lukas Stevens (Jun 17 2020 at 14:35):

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: Feb 06 2026 at 20:37 UTC