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