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