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