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
|