-
Notifications
You must be signed in to change notification settings - Fork 5
let
Norbert Preining edited this page Oct 6, 2017
·
1 revision
Using let
one can define aliases, or context variables. Bindings
are local to the current module. Variable defined with let
can be
used in various commands like reduce
and parse
.
Although let
defined variable behave very similar to syntactic
shorthands, they are not. The right hand side <term>
needs to
be a fully parsable expression.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team