object
  method close_in : unit -> unit
  method private enhanced_input :
    string -> int -> int -> Netchannels.input_result
  method private enhanced_input_line : unit -> string
  method input : string -> int -> int -> int
  method pos_in : int
end