Module fungi_lang::decide::equiv

Expand description

Decide equivalence of two terms (types, indices, name terms)

Enums

Computation type equivalence rules

Index term equivalence rules

Name term equivalence rules

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