Module `ClangFrontend.ObjcCategory_decl`

val category_decl : CAst_utils.qual_type_to_sil_type -> CAst_utils.procname_from_decl -> IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl -> IR.Typ.desc
val category_impl_decl : CAst_utils.qual_type_to_sil_type -> CAst_utils.procname_from_decl -> IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl -> IR.Typ.desc
val get_base_class_name_from_category : ATDGenerated.Clang_ast_t.decl -> IR.Typ.Name.t option