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 |