VexyCats

Suggest adding tokenID as an item returned in the callback for getApproved. ``` (* @getter: Get approved_addr for token_id *) transition getApproved(token_id: Uint256) some_token_approval msg_to_sender = { _tag : "getApprovedCallBack";...

Current ZRC-1 implementation used on Mintable: ``` scilla_version 0 (***************************************************) (* Associated library *) (***************************************************) import BoolUtils library NonfungibleToken (* User-defined ADTs *) type Dummy = | Dummy type Operation...