Syntax

Kind

Logical Operations

Comparison Operations

Filtering

bool

A bool represents a binary logical truth value.

Syntax

Boolean literals are written using the keywords true and false.

truefalse

Several alterantive forms are also accepted:

--

true

--

false

Kind

Boolean values have the kind:

<bool>

Additionally, the kinds true and false are subkinds of bool:

<true><false>

Logical Operations

Boolean values support the following logical operations:

¬true--

false

true&&false--

false

true||false--

true

For more, see compare.

Comparison Operations

Comparison operators produce boolean results:

55342<10

For more, see logic.

Filtering

An array of logical values can be used as an index to filter another array:

x:=[
1
2
3
4
]
ix:=x>2x[ix]--

selects elements where ix is true

For more, see indexing.