Skip to content

removed ununsed asubtype relation between a ATree (achar) and a AType (\achar-class) to avoid confusion between types and values.#2533

Merged
PaulKlint merged 4 commits intomainfrom
replace-char-by-char-class-atype
Feb 17, 2026
Merged

removed ununsed asubtype relation between a ATree (achar) and a AType (\achar-class) to avoid confusion between types and values.#2533
PaulKlint merged 4 commits intomainfrom
replace-char-by-char-class-atype