logic :: LExpr :: is_f
lfalse
assert lfalse.is_f assert not ltrue.is_f assert not (new LVar("a")).is_f
# It the logical expression `lfalse`? # # ~~~ # assert lfalse.is_f # assert not ltrue.is_f # assert not (new LVar("a")).is_f # ~~~ fun is_f: Bool do return false
redef fun is_f do return true