sig
  val input_lines : Pervasives.in_channel -> string Enum.t
  val input_chars : Pervasives.in_channel -> char Enum.t
  val input_list : Pervasives.in_channel -> string list
  val input_all : Pervasives.in_channel -> string
  val print_bool : bool -> unit
  val prerr_bool : bool -> unit
  val input_file : ?bin:bool -> string -> string
  val output_file : filename:string -> text:string -> unit
  val string_of_char : char -> string
  external identity : 'a -> 'a = "%identity"
  val unique : unit -> int
  val dump : 'a -> string
  val print : 'a -> unit
  val finally : (unit -> unit) -> ('a -> 'b) -> 'a -> 'b
end