arithmetic/derived/Integer32IntegerPower.m3
generated by m3build
MODULE
Integer32IntegerPower
=
IntegerPower
(
Integer32Basic
) END Integer32IntegerPower.