I didn't include _batchTransfer on purpose since it not in our current scope.
The final _batchBurn PR to main will be refactored off (#444),
and the API will most likely be same as this PR for performance and simplicity
(simply require tokenIds to be strictly ascending).
@daejunpark
For the Halmos.
I didn't include
_batchTransferon purpose since it not in our current scope.The final
_batchBurnPR to main will be refactored off (#444), and the API will most likely be same as this PR for performance and simplicity (simply requiretokenIdsto be strictly ascending).