Module fungi_lang::expand

Expand static definitions (Ident cases of types, indices and effects).

Functions

expand_ceffect
expand_ceffect_rec
expand_ctype
expand_effect
expand_effect_rec
expand_idxtm	Substitute terms into index terms
expand_idxtm_rec	Substitute terms into index terms
expand_nmtm	Substitute name terms into name terms
expand_nmtm_rec	Substitute terms into name terms
expand_prop	Substitute terms into propositions
expand_prop_rec	Substitute terms into propositions
expand_type
expand_type_rec