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.
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⌉