sig
  module TimerSubset : Timer.S
  module TimerApply : Timer.S
  module TimeFix : Timer.S
  module TimeEasyFix : Timer.S
  module TimeHardFix : Timer.S
  module TimeRP : Timer.S
  module TimePre : Timer.S
  module TimeSort : Timer.S
  module TimeForward : Timer.S
  module TimeCheckCand : Timer.S
  module TimeFormula : Timer.S
  module TimeSimpl : Timer.S
  module TimeCertificate : Timer.S
  val nb_digits : int -> int
  val set_liberal_gc : unit -> unit
  val reset_gc_params : unit -> unit
  val syscall : string -> string
  val syscall_full : string -> string * string * Unix.process_status
  val remove_trailing_whitespaces_end : string -> string
  type color = { c_red : float; c_green : float; c_blue : float; }
  val red : Util.color
  val green : Util.color
  val blue : Util.color
  val black : Util.color
  val white : Util.color
  val magenta : Util.color
  val hex_color : Util.color -> string
  val chromatic : Util.color -> Util.color -> int -> unit -> Util.color
  type loc = Lexing.position * Lexing.position
  val report_loc : Format.formatter -> Util.loc -> unit
end