Frama-C API - `Format_pprint`

val pp_flag : Stdlib.Format.formatter -> Format_types.flag -> unit

val pp_flags : Stdlib.Format.formatter -> Format_types.flags -> unit

val pp_fw : Stdlib.Format.formatter -> [< Format_types.any_field_width ] -> unit

val pp_precision : Stdlib.Format.formatter -> Format_types.precision -> unit

val pp_lm : Stdlib.Format.formatter -> Format_types.length_modifier -> unit

val pp_cs : Stdlib.Format.formatter -> ([< Format_types.any_conversion_specifier ] * bool) -> unit

val pp_f_specification : Stdlib.Format.formatter -> Format_types.f_conversion_specification -> unit

val pp_s_specification : Stdlib.Format.formatter -> Format_types.s_conversion_specification -> unit

val pp_f_format : Stdlib.Format.formatter -> Format_types.f_format -> unit

val pp_s_format : Stdlib.Format.formatter -> Format_types.s_format -> unit

val pp_format : Stdlib.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

Frama-C API - Format_pprint