object method input_byte : unit -> int method input_char : unit -> char method input_line : unit -> string method really_input : string -> int -> int -> unit end