Sourcetype in_channel = Stdlib.in_channel Sourcetype out_channel = Stdlib.out_channel Sourceval print_char : char -> unit Sourceval print_string : string -> unit Sourceval print_bytes : bytes -> unit Sourceval print_int : int -> unit Sourceval print_float : float -> unit Sourceval print_endline : string -> unit Sourceval print_newline : unit -> unit Sourceval prerr_char : char -> unit Sourceval prerr_string : string -> unit Sourceval prerr_bytes : bytes -> unit Sourceval prerr_int : int -> unit Sourceval prerr_float : float -> unit Sourceval prerr_endline : string -> unit Sourceval prerr_newline : unit -> unit Sourceval read_line : unit -> string Sourceval read_int_opt : unit -> int option Sourceval read_int : unit -> int Sourceval read_float_opt : unit -> float option Sourceval read_float : unit -> float Sourcetype open_flag = Stdlib.open_flag Sourceval flush_all : unit -> unit Sourceval __LOC_OF__ : 'a -> string * 'a 



