Property definitions

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
lib/logic/lexpr.nit:308,1--314,3