Module `Frama_c_kernel.Pretty`

This module provides pretty printing utilities. Same as Pretty_utils but without dependencies to Fclib.List or Fclib.Array.

since 33.0-Arsenic

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

Formatter for "%a" format

type tformatter = Format.formatter -> unit

Formatter for "%t" format

type nonrec 'a format = ('a, Format.formatter, unit) 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 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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/frama-c.kernel/Frama_c_kernel/Pretty/index.html

Module `Frama_c_kernel.Pretty`

package frama-c

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/frama-c.kernel/Frama_c_kernel/Pretty/index.html

Module Frama_c_kernel.Pretty

dune-project
Dependency

Module `Frama_c_kernel.Pretty`