Kết xuấtvi

verum

Translation status: Tiếng Việt reader-locale proof. Code fences render through the vi pipeline; prose is canonical Latin.

Represents the true boolean value and can prefix a truthiness check.

Syntax: verum [<expression>]

Category#

literal

Examples#

radix/corpus/literalia/boolean.fab (canonical · keyword)#

Boolean literals verum and falsum with bivalens bindings.

main {
    const bool enabled ← true
    const bool disabled ← false
    print enabled
    print disabled
    print enabled and not disabled
}

Expected output:

verum
falsum
verum

radix/corpus/verum/verum.fab (canonical · keyword)#

Represents the true boolean value and can prefix a truthiness check.

# =============================================================================
# verum — Represents the true boolean value and can prefix a truthiness check.
# =============================================================================
#
# What this teaches:
#   • Boolean literal — `verum` as the canonical `true` value for `bivalens` type
#   • Truthiness prefix — `verum` can prefix an expression for explicit truthiness checking
#
# Common mistakes:
#   • confusing verum (the true literal) with non nihil (a null check) — verum is a boolean value, not a presence test
#
# See also: falsum, nihil
# =============================================================================



# verum — true literal
#
# GRAMMAR:
#   literal :← 'verum'
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#

main {
    const _ active ← true
    print active
}

test "verum is the true literal" {
    const _ active ← true
    assert active
    assert active ≡ true
}

test "verum stands alone as a truthy condition" {
    assert true
}

Expected output:

verum