Module fungi_lang::expand [−][src]
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 |