arithmetic/derived/RealSeq.m3
generated by m3build
MODULE
RealSeq
=
Sequence
(
RealBasic
,
RealSeq
,
RealSeqRep
) END RealSeq.