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