none: when there is no value
Sometimes a value is absent. Pliro calls that none. It is different from zero, false, and an empty text.
Behavior and details
None is the single absence value, written none in English. A function with a bare return or no explicit return produces it. It is distinct from false, zero, empty text, and an empty list. Compare with == or !=; it cannot be a condition, collection index, or Map key. App-private JSON-compatible storage can store None.
Example
# language: en
function finish():
return
let result = finish()
say result == none
say text(result)