arithmetic/derived/RealVectorRep.m3
generated by m3build
MODULE
RealVectorRep
=
VectorRep
(
RealBasic
,
RealVector
) END RealVectorRep.