Go backward to A.8 System Commands
Go up to A List of Core Maude Commands
Go forward to A.10 Deprecated features
A.9 Abbreviations and Synonyms
The following abbreviations and synonyms are supported for module
syntax.
|
pr | = | protecting |
|
inc | = | including |
|
sorts | = | sort |
|
subsorts | = | subsort |
|
assoc | = | associative |
|
comm | = | commutative |
|
idem | = | idempotent |
|
id: | = | identity: |
|
strat | = | strategy |
|
prec | = | precedence |
|
vars | = | var
|
The following abbreviations and synonyms are supported for command
syntax.
|
red | = | reduce |
|
rew | = | rewrite |
|
cond | = | condition |
|
subst | = | substitution |
|
cont | = | continue |
|
flat | = | flattened |
|
parens | = | parentheses |
|
cmd | = | command |
|
sort | = | sorts |
|
op | = | ops |
|
var | = | vars |
|
mb | = | mbs |
|
eq | = | eqs |
|
rl | = | rls |
|
kinds | = | components |
|
mod | = | module
|