A const definition defines a typed expression in terms of C code. Note that whilst the C code is usually a constant value, any expression can be used.
A short form const definition maps a Felix name onto the same C name.