Frama-C:
Plug-ins:
Libraries:

Frama-C API - Unicode

Pretty printers of unicode symbols. Each function in this module prints a single unicode symbol, or an ASCII-based replacement if -no-unicode option is set.

  • since Frama-C+dev
type printer = Stdlib.Format.formatter -> unit

Set operations.

val pp_in_set : printer

val pp_empty_set : printer

val pp_top : printer

val pp_bottom : printer

val pp_union : printer

val pp_le : printer

val pp_ge : printer

val pp_eq : printer

val pp_neq : printer

val pp_not : printer

¬

val pp_and : printer

¬

val pp_or : printer

val pp_xor : printer

val pp_implies : printer

val pp_iff : printer

val pp_in_acsl : printer

val pp_forall : printer

val pp_exists : printer

val pp_boolean : printer

𝔹

val pp_integer : printer

𝔹

val pp_real : printer

val pp_pi : printer

π

val pp_lambda : printer

π

λ

val pp_mu : printer

λ

µ

val pp_right_arrow : printer

val pp_plus_minus : printer

±

val pp_times : printer

±

×

val pp_ellipsis : printer

⌊elt⌋

⌊elt⌋

⌈elt⌉