In this module an ObjC category declaration or implementation is processed. The category

is saved in the tenv as a struct with the corresponding fields and methods , and the class it belongs to

`val category_decl : CAst_utils.qual_type_to_sil_type ‑> CAst_utils.procname_from_decl ‑> InferIR.Tenv.t ‑> InferGenerated.Clang_ast_t.decl ‑> InferIR.Typ.desc`
`val category_impl_decl : CAst_utils.qual_type_to_sil_type ‑> CAst_utils.procname_from_decl ‑> InferIR.Tenv.t ‑> InferGenerated.Clang_ast_t.decl ‑> InferIR.Typ.desc`
`val get_base_class_name_from_category : InferGenerated.Clang_ast_t.decl ‑> InferIR.Typ.Name.t option`