đúng

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

Syntax: đúng [<expression>]

Category#

literal

Related#

• sai
• logic
• verum

Examples#

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

Boolean literals đúng and sai with logic 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.

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

test "verum stands alone as a truthy condition" {
    assert true
}
# =============================================================================
# đúng — Represents the true boolean value and can prefix a truthiness check.
# =============================================================================
#
# What this teaches:
#   • Boolean literal — `đúng` as the canonical `true` value for `logic` type
#   • Truthiness prefix — `đúng` can prefix an expression for explicit truthiness checking
#
# Common mistakes:
#   • confusing đúng (the true literal) with không rỗng_ty (a null check) — đúng is a boolean value, not a presence test
#
# See also: sai, rỗng_ty
# =============================================================================



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

main {
    const bool active ← true
    print active
}

Expected output:

verum