io7m
io7m-jparasol
0.11.3
4.4. Real literal
4. Expressions
4.6. Variable
Previous
Up
Next
4.5
Boolean literal
4.5.1
Description
1
A
boolean_literal
is a simple
true
or
false
value.
4.5.2
Type rules
1
boolean_literal
expressions are of type
boolean
:
4.5.2.1. Boolean true literal type rule (true_constant)
4.5.2.2. Boolean false literal type rule (false_constant)
4.5.3
Operational semantics
1
Boolean literal
expressions are
values
by definition, and are equal to the value of the literal.
Previous
Up
Next
4.4. Real literal
4. Expressions
4.6. Variable