arithmetic/derived/Integer32VectorRep.m3
generated by m3build
MODULE
Integer32VectorRep
=
VectorRep
(
Integer32Basic
,
Integer32Vector
) END Integer32VectorRep.