Module Io

module Io: sig .. end

type error = 
| EndOfFile
| IntOfString
| SysError of string
type world 
type ('left, 'right) either 
type 'a t = world -> (error, 'a) either * world 
val __conjure_up : unit -> world
val bind : 'a t -> ('a -> 'b t) -> 'b t
val return : 'a -> 'a t
val throw : error -> 'a t
val catch : 'a t -> (error -> 'a t) -> 'a t
val print_char : char -> unit t
val print_string : string -> unit t
val print_int : int -> unit t
val print_float : float -> unit t
val print_endline : string -> unit t
val print_newline : unit -> unit t
val prerr_char : char -> unit t
val prerr_string : string -> unit t
val prerr_int : int -> unit t
val prerr_float : float -> unit t
val prerr_endline : string -> unit t
val prerr_newline : unit -> unit t
val read_line : unit -> string t
val read_int : unit -> int t
val read_float : unit -> float t
val open_out : string -> Stdlib.out_channel t
val output_char : Stdlib.out_channel -> char -> unit t
val output_string : Stdlib.out_channel -> string -> unit t
val close_out : Stdlib.out_channel -> unit t