Alt_ergo_common.Signals_profiling
val get_timers : unit -> AltErgoLib.Timers.t
Return a timer
val init_signals : unit -> unit
Initialise signals handler for system signals
val init_profiling : unit -> unit
Initialise timers and profiling if profiling option is set