bivalens

Primitive types bivalens, vacuum, and ignotum.

Syntax: bivalens | vacuum | ignotum

Category#

type

Related#

• verum
• falsum
• functio
• ∷
• vacuum

Examples#

radix/corpus/intrinseca/primitiva.fab (canonical · keyword)#

Primitive types bivalens, vacuum, and ignotum.

# =============================================================================
# bivalens — Primitive types bivalens, vacuum, and ignotum
# =============================================================================
#
# What this teaches:
#   • Primitive types bivalens, vacuum, and ignotum.
#   • Related keywords: verum, falsum, functio, ∷, vacuum
#
# Common mistakes:
#   • Using `ignotum` where a concrete type is expected — `ignotum` is the dynamic dispatch type; use `est` checks or match before extracting.
#
# See also: verum, falsum, functio, ∷, vacuum
# =============================================================================

# intrinseca/primitiva — bivalens, vacuum, ignotum
#
# GRAMMAR:
#   typeExpr :← 'bivalens' | 'vacuum' | 'ignotum'
#
# EXPECTED OUTPUT:
#   ping, nihil est, verum est, aliud est
#
# BACKEND:
#   Cross-ref vacuum/vacuum.fab for void returns; numerus/fractus/textus intrinseca files.

fn ping() → void {
    print "primitiva smoke"
}

fn describe(unknown value) → string {
    if value is null { return "nihil est" }
    return "aliud est"
}

fn describe_boolean(bool value) → string {
    if value is true { return "verum est" }
    return "aliud est"
}

main {
    ping()
    print describe(null)
    print describe_boolean(true)
    print describe(42)
}

Expected output:

primitiva smoke
nihil est
verum est
aliud est