{
  "types": [
    {
      "idx": 0,
      "name": "clockid",
      "enum": {
        "cases": [
          "realtime",
          "monotonic"
        ]
      },
      "foreign_module": "wasi"
    },
    {
      "idx": 1,
      "name": "timestamp",
      "primitive": "u64",
      "foreign_module": "wasi"
    },
    {
      "idx": 2,
      "name": "errno",
      "enum": {
        "cases": [
          "success",
          "toobig",
          "access",
          "addrinuse",
          "addrnotavail",
          "afnosupport",
          "again",
          "already",
          "badf",
          "badmsg",
          "busy",
          "canceled",
          "child",
          "connaborted",
          "connrefused",
          "connreset",
          "deadlk",
          "destaddrreq",
          "dom",
          "dquot",
          "exist",
          "fault",
          "fbig",
          "hostunreach",
          "idrm",
          "ilseq",
          "inprogress",
          "intr",
          "inval",
          "io",
          "isconn",
          "isdir",
          "loop",
          "mfile",
          "mlink",
          "msgsize",
          "multihop",
          "nametoolong",
          "netdown",
          "netreset",
          "netunreach",
          "nfile",
          "nobufs",
          "nodev",
          "noent",
          "noexec",
          "nolck",
          "nolink",
          "nomem",
          "nomsg",
          "noprotoopt",
          "nospc",
          "nosys",
          "notconn",
          "notdir",
          "notempty",
          "notrecoverable",
          "notsock",
          "notsup",
          "notty",
          "nxio",
          "overflow",
          "ownerdead",
          "perm",
          "pipe",
          "proto",
          "protonosupport",
          "prototype",
          "range",
          "rofs",
          "spipe",
          "srch",
          "stale",
          "timedout",
          "txtbsy",
          "xdev",
          "notcapable"
        ]
      },
      "foreign_module": "wasi"
    },
    {
      "idx": 3,
      "result": {
        "ok": "type-1",
        "err": "type-2"
      }
    }
  ],
  "functions": [
    {
      "name": "res-get",
      "params": [
        "type-0"
      ],
      "result": "type-3"
    },
    {
      "name": "time-get",
      "params": [
        "type-0",
        "type-1"
      ],
      "result": "type-3"
    }
  ]
}