Module `Frama_c_kernel.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 32.0-Germanium

val use_unicode : bool -> unit

This function can be used to turn on or off the use of unicode UTF-8 caracters in messages.

type printer = 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

…

val pp_floor : 'a Pretty_utils.formatter -> 'a Pretty_utils.formatter

⌊elt⌋

val pp_ceil : 'a Pretty_utils.formatter -> 'a Pretty_utils.formatter

⌊elt⌋

⌈elt⌉

Install

dune-project
Dependency

Authors

Maintainers

Sources

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

Module `Frama_c_kernel.Unicode`

package frama-c

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Frama_c_kernel.Unicode

dune-project
Dependency

Module `Frama_c_kernel.Unicode`