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