Variant

io-error

No description available.

variant io-error {
  io(string),
  closed,
  other(string),
}

Cases

CasePayloadDescription
iostring

An I/O error occurred.

closed—

The output stream has been closed.

otherstring

Some other error occurred.