Module fungi_lang::decide::equiv [−][src]
Decide equivalence of two terms (types, indices, name terms)
Enums
| CEffectRule |
Computation type equivalence rules |
| IdxTmRule |
Index term equivalence rules |
| NmTmRule |
Name term equivalence rules |
| TypeRule |
Value type equivalence rules |
Functions
| decide_idxtm_equiv |
Decide if two index terms are equivalent under the given context |
| decide_nmtm_equiv |
Decide if two name terms are equivalent under the given context |
| decide_type_equiv |
Decide if two type terms are equivalent under the given context |
Type Definitions
| CEffectDec | |
| IdxTmDec | |
| NmTmDec | |
| TypeDec |