Textual.BoolExp
type t =
| Exp of Exp.t
| Not of t
| And of t * t
| Or of t * t
val pp : F.formatter -> t -> unit