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