Property definitions

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