Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
LOr
e1=
protected
fun
e1=
(e1:
LExpr
)
logic
::
LOr
::
e1=
Doc
Linearization
Summary
The first operand
The first operand
Summary
Property definitions
logic$LOr$e1=
Property definitions
logic
$
LOr
::
e1=
# The first operand
var
e1
:
LExpr
lib/logic/lexpr.nit:232,2--233,14