Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
LAnd
_e1
private
var
_e1
:
LExpr
logic
::
LAnd
::
_e1
Doc
Linearization
Summary
The first operand
The first operand
Summary
Property definitions
logic$LAnd$_e1
Property definitions
logic
$
LAnd
::
_e1
# The first operand
var
e1
:
LExpr
lib/logic/lexpr.nit:213,2--214,14