amountMinted property

@TagNumber(10) Int64 get amountMinted

Implementation

@$pb.TagNumber(10)
$fixnum.Int64 get amountMinted => $_getI64(9);

@TagNumber(10) set amountMinted (Int64 v)

Implementation

@$pb.TagNumber(10)
set amountMinted($fixnum.Int64 v) {
  $_setInt64(9, v);
}