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