Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
LNot
e=
protected
fun
e=
(e:
LExpr
)
logic
::
LNot
::
e=
Doc
Linearization
Summary
The argument
The argument
Summary
Property definitions
logic$LNot$e=
Property definitions
logic
$
LNot
::
e=
# The argument
var
e
:
LExpr
lib/logic/lexpr.nit:280,2--281,13