('a, 'b) IO.input ->
object
  method available : int
  method close : unit
  method nread : int -> 'b
  method pos : int
  method read : 'a
end