Module Boolean.Boolean_Forward

val (||) : 'a -> 'b -> 'c
val (&&) : 'a -> 'b -> 'c
val not : 'a -> 'b
val assume : 'a -> 'b -> 'c
val true_ : 'a -> 'b
val false_ : 'a -> 'b
val unknown : ?level:'a -> 'b -> 'c