error-code

Standard JSON-RPC error codes

type error-code = error-code;