module Utf8_logic:sig
..end
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 minus : string
val boolean : string
val integer : string
val real : string