class TKwor
super TokenKeyword
end
+class TKwimplies
+ super TokenKeyword
+end
class TKwnot
super TokenKeyword
end
readable writable var _n_expr2: AExpr
end
+# A `implies` expression
+class AImpliesExpr
+ super ABoolExpr
+ readable writable var _n_expr: AExpr
+ readable writable var _n_expr2: AExpr
+end
+
# A `not` expression
class ANotExpr
super ABoolExpr