dolphinpools

{
  "name": "removepool",
  "base": "",
  "fields": [
    {
      "name": "pool_id",
      "type": "uint64"
    }
  ]
}