Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
LAnd
e2=
protected
fun
e2=
(e2:
LExpr
)
logic
::
LAnd
::
e2=
Doc
Linearization
Summary
The second operand
The second operand
Summary
Property definitions
logic$LAnd$e2=
Property definitions
logic
$
LAnd
::
e2=
# The second operand
var
e2
:
LExpr
lib/logic/lexpr.nit:216,2--217,14