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