jon.recoil.org

Module Shape_reduce.DiagnosticsSource

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