Appendix B: Reserved Words

The list below contains all reserved words in the Magma language; these cannot be used as identifier names.

_ elif is require
adj else join requirege
and end le requirerange
assert eq load restore
assert2 error local return
assert3 eval lt save
assigned exists meet sdiff
break exit mod select
by false ne subset
case for not then
cat forall notadj time
catch forward notin to
clear fprintf notsubset true
cmpeq freeze or try
cmpne function print until
continue ge printf vprint
declare gt procedure vprintf
default if quit vtime
delete iload random when
diff import read where
div in readi while
do intrinsic repeat xor

V2.28, 13 July 2023