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