Module substitution

Structs

• GenericSubstitution
  A substitution of generic arguments in generic parameters as well as the Self of traits. Used for concretization.
• SubstitutionRewriter

Enums

• RewriteResult

Traits

• HasDb
• SemanticObject
• SemanticRewriter