Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
LNot
e
fun
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