Up – infer » ClangFrontend » ObjcProtocol_decl

Module `ClangFrontend.ObjcProtocol_decl`

In this module an ObjC protocol declaration or implementation is processed. The protocol is saved in the tenv as a struct with the corresponding methods

val protocol_decl : CAst_utils.qual_type_to_sil_type -> IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl -> IR.Typ.desc