Typestream-errorAn error for input-stream and output-stream operations. type stream-error = stream-error;