Module PreludeExtra.Extra (.ml)


module Extra: sig .. end
Extra definitions.

val print_char : char -> unit
Print something onto stdout, then immediately flush the buffer. This may be slower but allows to print without waiting for automatic flushes, which are very infrequent when more than one process is concurrently writing to the same channel
val print_string : string -> unit
val print_int : int -> unit
val print_float : float -> unit
val print_endline : string -> unit
val print_newline : unit -> unit