Value Declarations
Description
A named value/constant can be declared as follows:
def name: type = definition
The definition can be an arbitrary expression, including function calls and other values, although they must be in scope before the value is defined. If the return type contains any anonymous sizes (see Size types), new existential sizes will be constructed for them.