amountMinted property

@TagNumber(10) Int64 amountMinted

Implementation

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

@TagNumber(10) void amountMinted=(Int64 v)

Implementation

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