logic :: LTrue :: defaultinit
# The class of the singleton `ltrue` class LTrue super LExpr redef fun is_t do return true redef fun ~ do return lfalse redef fun to_s do return "true" end