|
Structure BasicIO
(* BasicIO -- non-standard input-output; use BinIO and TextIO instead *)
type instream
type outstream
val std_in : instream;
val open_in : string -> instream;
val open_in_bin : string -> instream;
val input : instream * int -> string;
val inputc : instream -> int -> string;
val lookahead : instream -> string;
val close_in : instream -> unit;
val end_of_stream : instream -> bool;
val std_out : outstream;
val std_err : outstream;
val open_out : string -> outstream;
val open_out_bin : string -> outstream;
val output : outstream * string -> unit;
val outputc : outstream -> string -> unit;
val close_out : outstream -> unit;
val flush_out : outstream -> unit;
val input_line : instream -> string;
val can_input : instream * int -> bool;
val open_append : string -> outstream;
val exit : int -> 'a
val print : string -> unit
|