sig
  type file = string
  val reset : unit -> unit
  val record_call : ?accumulate:bool -> string -> (unit -> 'a) -> 'a
  val record : ?accumulate:bool -> string -> ('-> 'b) -> '-> 'b
  type column = [ `Abs_top_heap | `Alloc | `Time | `Top_heap ]
  val print : Format.formatter -> Profile.column list -> unit
  val options_doc : string
  val all_columns : Profile.column list
  val generate : string
  val transl : string
  val typing : string
end