It the logical expression lfalse?

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

Property definitions

logic $ LExpr :: is_f
	# It the logical expression `lfalse`?
	#
	# ~~~
	# assert     lfalse.is_f
	# assert not ltrue.is_f
	# assert not (new LVar("a")).is_f
	# ~~~
	fun is_f: Bool do return false
lib/logic/lexpr.nit:61,2--68,31

logic $ LFalse :: is_f
	redef fun is_f do return true
lib/logic/lexpr.nit:311,2--30