module Cil_descriptive_printer:sig
..end
Internal printer for Cabs2cil.
Like the standard Cil_printer
, but instead of temporary variable
names it prints the description that was provided when the temp was
created. This is usually better for messages that are printed for end
users, although you may want the temporary names for debugging.
val pp_exp : Stdlib.Format.formatter -> Cil_types.exp -> unit
val pp_lval : Stdlib.Format.formatter -> Cil_types.lval -> unit