Module for function to retrieve the location (file, line, etc) of instructions

`val clang_to_sil_location : InferBase.SourceFile.t ‑> InferGenerated.Clang_ast_t.source_location ‑> InferBase.Location.t`
`val should_translate_lib : InferBase.SourceFile.t ‑> InferGenerated.Clang_ast_t.source_range ‑> CModule_type.decl_trans_context ‑> translate_when_used:bool ‑> bool`
`val should_do_frontend_check : InferBase.SourceFile.t ‑> InferGenerated.Clang_ast_t.source_range ‑> bool`
`val is_file_blacklisted : string ‑> bool`
`val location_of_source_range : ?⁠pick_location:[ `Start | `End ] ‑> InferBase.SourceFile.t ‑> InferGenerated.Clang_ast_t.source_range ‑> InferBase.Location.t`

picks the start of the source range by default

`val location_of_stmt_info : InferBase.SourceFile.t ‑> InferGenerated.Clang_ast_t.stmt_info ‑> InferBase.Location.t`