pub fn migrate_module_definition<VA: ValueAnnotation>(
definition: &ModuleDefinition<Attrs, VA>,
context: &mut MigrationContext,
) -> Result<ModuleDefinition, MigrationDiagnostic>pub fn migrate_module_definition<VA: ValueAnnotation>(
definition: &ModuleDefinition<Attrs, VA>,
context: &mut MigrationContext,
) -> Result<ModuleDefinition, MigrationDiagnostic>