arithmetic/derived/ExtendedVector.m3
generated by m3build
MODULE
ExtendedVector
=
Vector
(
ExtendedBasic
,
ExtendedVectorRep
) END ExtendedVector.