arithmetic/derived/RealVectorFmtLex.m3
generated by m3build
MODULE
RealVectorFmtLex
=
VectorFmtLex
(
RealFmtLex
,
RealSeq
) END RealVectorFmtLex.