mfterm
mfterm copied to clipboard
Constants in the specification language
Introduce support for defining constant values in the specification language. These could be used in assignment operations if spec path assignment has been implemented.