sig
  val get_type_specifier : Cil_types.typ -> Cil_types.typ
  val pp_typ : Format.formatter -> Cil_types.typ -> unit
  val pp_typ_unfolded : Format.formatter -> Cil_types.typ -> unit
  module LinkPrinter : Printer.PrinterExtension
  exception NoMatch
  val varinfo_of_link : string -> Cil_types.varinfo
  val typ_of_link : string -> Cil_types.typ
  val loc_of_link : string -> Cil_types.location
end