Frama_c_kernel.Format_pprintval pp_flag : Stdlib.Format.formatter -> Format_types.flag -> unitval pp_flags : Stdlib.Format.formatter -> Format_types.flags -> unitval pp_fw :
Stdlib.Format.formatter ->
[< Format_types.any_field_width ] ->
unitval pp_precision : Stdlib.Format.formatter -> Format_types.precision -> unitval pp_lm : Stdlib.Format.formatter -> Format_types.length_modifier -> unitval pp_cs :
Stdlib.Format.formatter ->
([< Format_types.any_conversion_specifier ] * bool) ->
unitval pp_f_specification :
Stdlib.Format.formatter ->
Format_types.f_conversion_specification ->
unitval pp_s_specification :
Stdlib.Format.formatter ->
Format_types.s_conversion_specification ->
unitval pp_f_format : Stdlib.Format.formatter -> Format_types.f_format -> unitval pp_s_format : Stdlib.Format.formatter -> Format_types.s_format -> unitval pp_format : Stdlib.Format.formatter -> Format_types.format -> unitval f_format_to_cstring : Format_types.f_format -> stringRewrites the format as its string representation.
val s_format_to_cstring : Format_types.s_format -> stringval format_to_cstring : Format_types.format -> string