module Utils: sig .. end
val try_finally : (unit -> 'a) -> (unit -> unit) -> 'a
val with_open_in : string -> (Pervasives.in_channel -> 'a) -> 'a
val with_open_out : string -> (Pervasives.out_channel -> 'a) -> 'a
val dont_inline : 'a -> 'a
val fresh_name : string -> string
val fresh_var : string -> Variable.name
val read : Pervasives.in_channel -> string
val ptag : Buffer.t -> 'a -> unit
val same_absolute_path : string -> string -> bool
val file_get_contents : string -> string
val get_number_of_cores : unit -> int