Module Domain.Boolean_Forward

val not : Context.t -> boolean -> boolean
val (&&) : Context.t -> boolean -> boolean -> boolean
val (||) : Context.t -> boolean -> boolean -> boolean
val true_ : Context.t -> boolean
val false_ : Context.t -> boolean