Google

object
  method available_output : int
  method finish : unit
  method get_byte : int
  method get_char : char
  method get_string : string
  method get_substring : string * 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 : string -> int -> int -> unit
  method wipe : unit