|
|
|---|
|
|
|
|---|
Evaluation of Leo literals.
Leo literals represent Leo values fairly directly. The only complication is with group literals with non-explicit coordinates, i.e. where one coordinate is determined from the other according to certain rules.
In any case, the semantics of Leo literals
can be formalized via a function that evaluates literals to values.
More precisely, the evaluation of literals may fail,
in which case we return