Module IBase.Timeable

module F = Stdlib.Format
type t =
  1. | Checker of Checker.t
  2. | Preanalysis
    (*

    the "pre-analysis" phase of a procedure, before we run the checkers

    *)

types of everything we might possibly want to time

val to_string : t -> string
val pp : F.formatter -> t -> unit
module Map : Stdlib.Map.S with type key = t
val mk_map_of_all : init:'a -> 'a Map.t

mk_map_of_all ~init is a map timeable -> init for all timeable keys