arithmetic/derived/RealPolarFmtLex.m3
generated by m3build
MODULE
RealPolarFmtLex
=
PolarFmtLex
(
RealBasic
,
RealFmtLex
) END RealPolarFmtLex.