nitc $ AImpliesExpr :: defaultinit

# A `implies` expression
class AImpliesExpr
	super ABinBoolExpr
end