-
johnvg@science.ru.nl authored
move types GenTypeStruct and GenericTypeRep from module syntax to module generics1, make type GenericTypeReps extensible and move constructors except NoGenericTypeReps
65073581
move types GenTypeStruct and GenericTypeRep from module syntax to module generics1, make type GenericTypeReps extensible and move constructors except NoGenericTypeReps