Module fungi_lang::expand
source · Expand description
Expand static definitions (Ident
cases of types, indices and effects).
Functions
Substitute terms into index terms
Substitute terms into index terms
Substitute name terms into name terms
Substitute terms into name terms
Substitute terms into propositions
Substitute terms into propositions