The logical true variable.

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