Module Shape_reduce.Diagnostics

type t
val no_diagnostics : t
val create_diagnostics : unit -> t
val reduction_steps : t -> int
val computation_unit_lookups : t -> int
val cms_files_loaded : t -> int
val count_cms_file_loaded : t -> unit
val cms_files_cached : t -> int
val count_cms_file_cached : t -> unit
val add_cms_file_missing : t -> string -> unit
val cms_files_missing : t -> string list
val add_cms_file_unreadable : t -> string -> unit
val cms_files_unreadable : t -> string list