Pretty (frama-c.Fclib.Pretty)

type 'a aformatter = Stdlib.Format.formatter -> 'a -> unit

Formatter for "%a" format

type tformatter = Stdlib.Format.formatter -> unit

Formatter for "%t" format

type nonrec 'a format = ('a, Stdlib.Format.formatter, unit) Stdlib.format

Formats used with fprintf and alike.

val pretty_seq : 
  format:(tformatter -> unit) format ->
  item:('a aformatter -> 'a -> unit) format ->
  sep:unit format ->
  ?last:unit format ->
  ?empty:unit format ->
  'a aformatter ->
  'a Stdlib.Seq.t aformatter

Pretty prints a sequence.

parameter format
defines the format used to print the collection, e.g. "@%t@"

parameter item
defines the format for an item of the collection, e.g. "@%a@"

parameter sep
defines the format for the separator between items, e.g "@;,"

parameter last
defines the format for the last separator, defaults to sep

parameter empty
defines the format for empty sequences, defaults to format

val pretty_seq2 : 
  format:(tformatter -> unit) format ->
  item:('a aformatter -> 'a -> 'b aformatter -> 'b -> unit) format ->
  sep:unit format ->
  ?last:unit format ->
  ?empty:unit format ->
  'a aformatter ->
  'b aformatter ->
  ('a * 'b) Stdlib.Seq.t aformatter

Pretty prints a sequence of pairs. Same as pretty_seq but the item format must contain two "%a". This version is intended for maps which can be iterated through sequences of (key, value) pairs.