HandleStream

// A file the runtime has open, by handle (0, 1 and 2 are the console's input, output and error): no buffer of its own.
public class System.IO.HandleStream : System.IO.Stream
{
    field handle: i64
    field name: System.String<u8>
    field reads: bool
    field writes: bool
    // Whether the handle is a file (a position to move): the console, a pipe and a socket are not.
    field seeks: bool
    static method CloseHandle(handle: i64) -> i64
    static method ReadRange(handle: i64, bytes: u8[], offset: i64, count: i64) -> i64
    static method WriteRange(handle: i64, bytes: u8[], offset: i64, count: i64) -> i64
    static method SeekTo(handle: i64, offset: i64, origin: i64) -> i64
    static method LengthOf(handle: i64) -> i64
    static method FlushHandle(handle: i64) -> i64
    method Check() -> void
    // A stream that cannot seek (the console, a pipe, a socket).
    constructor HandleStream(handle: i64, name: System.String<u8>, reads: bool, writes: bool)
    constructor HandleStream(handle: i64, name: System.String<u8>, reads: bool, writes: bool, seeks: bool)
    method Read(buffer: u8[], offset: i32, count: i32) -> i32
    method Write(buffer: u8[], offset: i32, count: i32) -> void
    method Seek(offset: i64, origin: System.IO.SeekOrigin) -> i64
    method Flush() -> void
    method Close() -> void
    property CanRead: bool
    property CanWrite: bool
    property CanSeek: bool
    property Length: i64
    property Position: i64
}