`val location_from_stmt : InferModules.CLintersContext.context ‑> InferGenerated.Clang_ast_t.stmt ‑> InferBase.Location.t`
`val location_from_dinfo : InferModules.CLintersContext.context ‑> InferGenerated.Clang_ast_t.decl_info ‑> InferBase.Location.t`
`val location_from_an : InferModules.CLintersContext.context ‑> InferModules.Ctl_parser_types.ast_node ‑> InferBase.Location.t`
`val location_from_decl : InferModules.CLintersContext.context ‑> InferGenerated.Clang_ast_t.decl ‑> InferBase.Location.t`
`val ivar_name : InferModules.Ctl_parser_types.ast_node ‑> string`
`val cxx_ref_captured_in_block : InferModules.Ctl_parser_types.ast_node ‑> string`
`val decl_ref_or_selector_name : InferModules.Ctl_parser_types.ast_node ‑> string`
`val iphoneos_target_sdk_version : InferModules.CLintersContext.context ‑> InferModules.Ctl_parser_types.ast_node ‑> string`
`val available_ios_sdk : InferModules.Ctl_parser_types.ast_node ‑> string`
`val class_available_ios_sdk : InferModules.Ctl_parser_types.ast_node ‑> string`
`val receiver_method_call : InferModules.Ctl_parser_types.ast_node ‑> string`
`val class_name : InferModules.Ctl_parser_types.ast_node ‑> string`