It the logical expression ltrue?

assert     ltrue.is_t
assert not lfalse.is_t
assert not (new LVar("a")).is_t

Property definitions

logic $ LExpr :: 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
lib/logic/lexpr.nit:52,2--59,31

logic $ LTrue :: is_t
	redef fun is_t do return true
lib/logic/lexpr.nit:300,2--30