arithmetic/derived/Cardinal32IntegerPower.m3
generated by m3build
MODULE
Cardinal32IntegerPower
=
IntegerPower
(
Cardinal32Basic
) END Cardinal32IntegerPower.