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