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