CType_to_sil_type (infer.ClangFrontend.CType_to_sil

val get_builtin_objc_typename : [< `ObjCClass | `ObjCId ] -> IR.Typ.Name.t

val type_of_builtin_type_kind : 
  ?is_const:bool ->
  ATDGenerated.Clang_ast_t.builtin_type_kind ->
  IR.Typ.t

val qual_type_to_sil_type : 
  (IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl -> IR.Typ.desc) ->
  IR.Tenv.t ->
  ATDGenerated.Clang_ast_t.qual_type ->
  IR.Typ.t