`module L = InferBase.Logging`
`type InferGenerated.Clang_ast_types.TypePtr.t +=` `Builtin of InferGenerated.Clang_ast_t.builtin_type_kind``|` `PointerOf of InferGenerated.Clang_ast_t.qual_type``|` `ReferenceOf of InferGenerated.Clang_ast_t.qual_type``|` `ClassType of InferIR.Typ.Name.t``|` `DeclPtr of int``|` `ErrorType`
`val type_ptr_to_string : InferGenerated.Clang_ast_types.TypePtr.t ‑> string`
`module TypePointerOrd : sig ... end`
`module TypePointerMap : sig ... end`