Module Concrete.Boolean_Interp

type boolean = bool
val not : boolean -> boolean
val (&&) : boolean -> boolean -> boolean
val (||) : boolean -> boolean -> boolean
val true_ : boolean
val false_ : boolean