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: Apr 25 2024 at 01:08 UTC