Module Frama_c_kernel.Format_pprint

val pp_flag : Format.formatter -> Format_types.flag -> unit
val pp_flags : Format.formatter -> Format_types.flags -> unit
val pp_precision : Format.formatter -> Format_types.precision -> unit
val pp_cs : Format.formatter -> ([< Format_types.any_conversion_specifier ] * bool) -> unit
val pp_f_specification : Format.formatter -> Format_types.f_conversion_specification -> unit
val pp_s_specification : Format.formatter -> Format_types.s_conversion_specification -> unit
val pp_f_format : Format.formatter -> Format_types.f_format -> unit
val pp_s_format : Format.formatter -> Format_types.s_format -> unit
val pp_format : Format.formatter -> Format_types.format -> unit
val f_format_to_cstring : Format_types.f_format -> string

Rewrites the format as its string representation.

val s_format_to_cstring : Format_types.s_format -> string
val format_to_cstring : Format_types.format -> string