Frama-C API - `Utf8_logic`

UTF-8 string for logic symbols.

val from_unichar : int -> string

given an unicode code point, returns the corresponding utf-8 encoding.

val forall : string

val exists : string

val eq : string

val neq : string

val le : string

val ge : string

val implies : string

val iff : string

val conj : string

val disj : string

val neg : string

val x_or : string

val inset : string

val emptyset : string

val top : string

val bottom : string

val union : string

val minus : string

val boolean : string

val integer : string

val real : string

val pi : string

val infinity : string

Frama-C API - Utf8_logic