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: Oct 29 2025 at 01:47 UTC