play.mars

{
  "name": "withdraw",
  "base": "",
  "fields": [
    {
      "name": "receiver",
      "type": "name"
    },
    {
      "name": "user_id",
      "type": "uint64"
    },
    {
      "name": "quantity",
      "type": "asset"
    }
  ]
}