private fun lnot: LExpr

logic :: LExpr :: lnot

Property definitions

logic $ LExpr :: lnot 
	private var lnot: LExpr is lazy do return new LNot(self)
lib/logic/lexpr.nit:79,2--57
Nit tools. Version v0.8-3595-g3f58b4f.