Remove `TypeBasis::VariableTemplate`
GabrielDosReis opened this issue · 0 comments
GabrielDosReis commented
a variable template declaration has a TypeSort::Forall
type.
GabrielDosReis opened this issue · 0 comments
a variable template declaration has a TypeSort::Forall
type.