Module ClangFrontend.ObjcInterface_decl
val interface_declaration : CAst_utils.qual_type_to_sil_type -> CAst_utils.procname_from_decl -> IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl -> IR.Typ.descval interface_impl_declaration : CAst_utils.qual_type_to_sil_type -> CAst_utils.procname_from_decl -> IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl -> IR.Typ.desc