$
Term
&
BoolExprOps
+
Reports
--->:
Typ
-->
BoolExprOps
-->:
Typ
|
BoolExprOps
|>
Expr
→
BoolExprOps
∧
BoolExprOps
∨
BoolExprOps
≡
HOLExprOps