Methods for creating a procdesc from a method or function declaration and for resolving a method call and finding the right callee

`type method_call_type````=`

`|` `MCVirtual`
`|` `MCNoVirtual`
`|` `MCStatic`

``

When the methoc call is MCStatic, means that it is a class method. When it is MCVirtual, it means that it is an instance method and that the method to be called will be determined at runtime. If it is MCNoVirtual it means that it is an instance method but that the method to be called will be determined at compile time

`include sig ... end`
`val compare_method_call_type : method_call_type ‑> method_call_type ‑> int`
`val equal_method_call_type : method_call_type ‑> method_call_type ‑> bool`
`val create_local_procdesc : ?⁠set_objc_accessor_attr:bool ‑> CFrontend_config.translation_unit_context ‑> InferIR.Cfg.t ‑> InferIR.Tenv.t ‑> CMethodSignature.t ‑> InferGenerated.Clang_ast_t.stmt list ‑> (InferIR.Pvar.t * InferIR.Typ.t) list ‑> bool`
`val create_external_procdesc : InferIR.Cfg.t ‑> InferIR.Typ.Procname.t ‑> InferIR.ProcAttributes.clang_method_kind ‑> (InferIR.Typ.t * InferIR.Typ.t list) option ‑> unit`
`val get_objc_method_data : InferGenerated.Clang_ast_t.obj_c_message_expr_info ‑> string * InferGenerated.Clang_ast_t.pointer option * method_call_type`
`val get_class_name_method_call_from_receiver_kind : CContext.t ‑> InferGenerated.Clang_ast_t.obj_c_message_expr_info ‑> (InferIR.Exp.t * InferIR.Typ.t) list ‑> InferIR.Typ.Name.t`
`val get_class_name_method_call_from_clang : InferIR.Tenv.t ‑> InferGenerated.Clang_ast_t.obj_c_message_expr_info ‑> InferIR.Typ.Name.t option`
`val method_signature_of_pointer : InferIR.Tenv.t ‑> InferGenerated.Clang_ast_t.pointer ‑> CMethodSignature.t option`
`val get_method_name_from_clang : InferIR.Tenv.t ‑> CMethodSignature.t option ‑> InferIR.Typ.Procname.t option`
`val create_procdesc_with_pointer : CContext.t ‑> InferGenerated.Clang_ast_t.pointer ‑> InferIR.Typ.Name.t option ‑> string ‑> InferIR.Typ.Procname.t`
`val get_procname_from_cpp_lambda : CContext.t ‑> InferGenerated.Clang_ast_t.decl ‑> InferIR.Typ.Procname.t`
`val get_captures_from_cpp_lambda : InferGenerated.Clang_ast_t.decl ‑> InferGenerated.Clang_ast_t.lambda_capture_info list`