{
  "types": [
    {
      "idx": 0,
      "variant": {
        "cases": [
          [
            "none",
            null
          ],
          [
            "some",
            "u32"
          ]
        ]
      }
    },
    {
      "idx": 1,
      "variant": {
        "cases": [
          [
            "ok",
            "u32"
          ],
          [
            "err",
            "f32"
          ]
        ]
      }
    }
  ],
  "functions": [
    {
      "name": "f1",
      "params": [],
      "results": []
    },
    {
      "name": "f2",
      "params": [
        "u32"
      ],
      "results": []
    },
    {
      "name": "f3",
      "params": [
        "u32"
      ],
      "results": []
    },
    {
      "name": "f4",
      "params": [],
      "results": [
        "u32"
      ]
    },
    {
      "name": "f6",
      "params": [],
      "results": [
        "u32",
        "u32"
      ]
    },
    {
      "name": "f7",
      "params": [
        "f32",
        "f32"
      ],
      "results": [
        "u32",
        "u32"
      ]
    },
    {
      "name": "f8",
      "params": [
        "type-0"
      ],
      "results": [
        "type-1"
      ]
    },
    {
      "name": "f9",
      "params": [],
      "results": [
        "u32"
      ]
    },
    {
      "name": "f10",
      "params": [],
      "results": [
        "u32"
      ]
    },
    {
      "name": "f11",
      "params": [],
      "results": [
        "u32"
      ]
    },
    {
      "name": "f12",
      "params": [],
      "results": [
        "u32",
        "u32"
      ]
    },
    {
      "name": "f13",
      "params": [],
      "results": [
        "u32",
        "u32"
      ]
    },
    {
      "name": "f14",
      "params": [],
      "results": [
        "u32",
        "u32"
      ]
    },
    {
      "name": "f15",
      "params": [],
      "results": [
        "u32",
        "u32"
      ]
    }
  ]
}