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⌉