arithmetic/derived/LongRealPolarFmtLex.m3
generated by m3build
MODULE
LongRealPolarFmtLex
=
PolarFmtLex
(
LongRealBasic
,
LongRealFmtLex
) END LongRealPolarFmtLex.