('a, 'b) IO.input ->
object method close_in : unit -> unit method get : unit -> 'end