صواب

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

Syntax: صواب [<expression>]

Category#

literal

Related#

• خطأ
• منطقي
• verum

Examples#

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

Boolean literals صواب and خطأ with منطقي 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
}
# =============================================================================
# صواب — Represents the true boolean value and can prefix a truthiness check.
# =============================================================================
#
# What this teaches:
#   • Boolean literal — `صواب` as the canonical `true` value for `منطقي` type
#   • Truthiness prefix — `صواب` can prefix an expression for explicit truthiness checking
#
# Common mistakes:
#   • confusing صواب (the true literal) with ليس نوع_لاشيء (a null check) — صواب is a boolean value, not a presence test
#
# See also: خطأ, نوع_لاشيء
# =============================================================================



# صواب — true literal
#
# GRAMMAR:
#   literal :← 'صواب'
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#

main {
    const bool active ← true
    print active
}

Expected output:

verum