logic :: LExpr :: unary ~
self
var a = new LVar("a") assert (~a).to_s == "~a" assert (~~a).to_s == "a"
# The negation of `self` # # ~~~ # var a = new LVar("a") # assert (~a).to_s == "~a" # assert (~~a).to_s == "a" # ~~~ fun ~:LExpr do return lnot
redef fun ~ do return e
redef fun ~ do return lfalse
redef fun ~ do return ltrue