arithmetic/derived/BigIntegerVector.m3
generated by m3build
MODULE
BigIntegerVector
=
Vector
(
BigInteger
,
BigIntegerVectorRep
) END BigIntegerVector.