Module `Shape_reduce.Diagnostics`

type t

val no_diagnostics : Ocaml_typing.Shape_reduce.Diagnostics.t

val create_diagnostics : unit -> Ocaml_typing.Shape_reduce.Diagnostics.t

val reduction_steps : Ocaml_typing.Shape_reduce.Diagnostics.t -> int

val computation_unit_lookups : Ocaml_typing.Shape_reduce.Diagnostics.t -> int

val cms_files_loaded : Ocaml_typing.Shape_reduce.Diagnostics.t -> int

val count_cms_file_loaded : Ocaml_typing.Shape_reduce.Diagnostics.t -> unit

val cms_files_cached : Ocaml_typing.Shape_reduce.Diagnostics.t -> int

val count_cms_file_cached : Ocaml_typing.Shape_reduce.Diagnostics.t -> unit

val add_cms_file_missing : 
  Ocaml_typing.Shape_reduce.Diagnostics.t ->
  string ->
  unit

val cms_files_missing : Ocaml_typing.Shape_reduce.Diagnostics.t -> string list

val add_cms_file_unreadable : 
  Ocaml_typing.Shape_reduce.Diagnostics.t ->
  string ->
  unit

val cms_files_unreadable : 
  Ocaml_typing.Shape_reduce.Diagnostics.t ->
  string list

Module Shape_reduce.Diagnostics