Type of functions to report issues to the error_log in a spec.

`type log_t``= ?⁠loc:InferBase.Location.t ‑> ?⁠node_id:(int * InferStdlib.IStd.Caml.Digest.t) ‑> ?⁠session:int ‑> ?⁠ltr:InferIR.Errlog.loc_trace ‑> ?⁠linters_def_file:string ‑> ?⁠doc_url:string ‑> ?⁠access:string ‑> exn ‑> unit```
`type log_issue_from_errlog``= InferIR.Errlog.t ‑> log_t```
`val log_error_deprecated : ?⁠store_summary:bool ‑> InferIR.Typ.Procname.t ‑> log_t`

Report an error in the given procedure. DEPRECATED as it can create race conditions between checkers. Use log_error instead

`val log_warning_deprecated : ?⁠store_summary:bool ‑> InferIR.Typ.Procname.t ‑> log_t`

Report a warning in the given procedure. DEPRECATED as it can create race conditions between checkers. Use log_warning instead

`val log_info_deprecated : ?⁠store_summary:bool ‑> InferIR.Typ.Procname.t ‑> log_t`

Report an info in the given procedure. DEPRECATED as it can create race conditions between checkers. Use log_info instead

`val log_issue_from_errlog : InferIR.Typ.Procname.t ‑> ?⁠clang_method_kind:InferIR.ProcAttributes.clang_method_kind ‑> InferIR.Exceptions.err_kind ‑> log_issue_from_errlog`

Report an issue of a given kind in the given error log.

`val log_error : InferModules.Summary.t ‑> log_t`

Add an error to the given summary.

`val log_warning : InferModules.Summary.t ‑> log_t`

Add an warning to the given summary.

`val log_issue_external : InferIR.Typ.Procname.t ‑> ?⁠clang_method_kind:InferIR.ProcAttributes.clang_method_kind ‑> InferIR.Exceptions.err_kind ‑> log_t`

Log an issue to the error log in `IssueLog` associated with the given procname.