Toggle menu
Nitlanguage.org
Nitdoc
core
kernel
Sys
ltrue
fun
ltrue
:
LTrue
core
::
Sys
::
ltrue
Doc
Linearization
Summary
The logical
true
variable.
The logical
true
variable.
Summary
Property definitions
logic::lexpr$core::Sys$ltrue
Property definitions
logic
::
lexpr
$
Sys
::
ltrue
# The logical *true* variable.
fun
ltrue
:
LTrue
do
return
once
new
LTrue
lib/logic/lexpr.nit:294,1--295,41