Variant

session-error

Errors that can occur during session operations.

variant session-error {
  no-such-session,
  access-denied,
  other(string),
}

Cases

Case	Payload	Description
no-such-session	—	No session exists for the current message.
access-denied	—	Access to the session's underlying store is denied.
other	string	Some error occurred.