Skip to content

TypeSchema: Rename RegularTypeSchema to SpecializationTypeSchema#114

Merged
ryukzak merged 1 commit intomainfrom
rename-regular-to-specialization-type-schema
Mar 23, 2026
Merged

TypeSchema: Rename RegularTypeSchema to SpecializationTypeSchema#114
ryukzak merged 1 commit intomainfrom
rename-regular-to-specialization-type-schema

Commits

Commits on Mar 23, 2026