`object
method available_output : int
method finish : unit
method flush : unit
method get_byte : int
method get_char : char
method get_string : string
method get_substring : bytes * int * int
method input_block_size : int
method output_block_size : int
method put_byte : int -> unit
method put_char : char -> unit
method put_string : string -> unit
method put_substring : bytes -> int -> int -> unit
method wipe : unit
end`