private fun lnot=(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 .