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