sai
Translation status: Tiếng Việt reader-locale proof. Term names and code fences follow the vi pack; supporting prose may still be English.
Represents the false boolean value and can prefix a falsity check.
Syntax: sai [<expression>]
Category#
boolean
Related#
Examples#
radix/corpus/falsum/falsum.fab (canonical · keyword)#
Represents the false boolean value and can prefix a falsity check.
test "falsum is the false literal" {
const bool inactive ← false
assert inactive ≡ false
assert not inactive
}
test "falsum contrasts with verum" {
assert false ≠ true
assert false ≡ false
}
# =============================================================================
# sai — Represents the false boolean value and can prefix a falsity check
# =============================================================================
#
# What this teaches:
# • Represents the false boolean value and can prefix a falsity check.
# • Related keywords: đúng, rỗng_ty
#
# Common mistakes:
# • Confusing `sai` with `rỗng_ty` — `sai` is a logic literal (false); `rỗng_ty` is the null/absent sentinel.
#
# See also: đúng, rỗng_ty
# =============================================================================
# sai — false literal
#
# GRAMMAR:
# literal :← 'sai'
#
# EXPECTED OUTPUT:
# Scalar stdout smoke (see body).
#
main {
const bool inactive ← false
print inactive
}Expected output:
falsum