Module fungi_lang::expand

source ·
Expand description

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