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