bivalens

Primitive types bivalens, vacuum, and ignotum.

Syntax: bivalens | vacuum | ignotum

Category

type

Related

• verum
• falsum
• functio
• ∷
• vacuum

Examples

examples/corpus/intrinseca/primitiva.fab (canonical · existing-home)

Primitive types bivalens, vacuum, and ignotum.

# 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.

functio ping() → vacuum {
    nota "primitiva smoke"
}

functio describe(ignotum value) → textus {
    si value est nihil { redde "nihil est" }
    redde "aliud est"
}

functio describe_boolean(bivalens value) → textus {
    si value est verum { redde "verum est" }
    redde "aliud est"
}

incipit {
    ping()
    nota describe(nihil)
    nota describe_boolean(verum)
    nota describe(42)
}

Expected output:

primitiva smoke
nihil est
verum est
aliud est