CADiZ

Reference manual / Non-standard extensions to Z / Let expressions


cadiz permits the declaration part of a let expression to be an arbitrary SchemaText, just like a definite description (\mu) expression, rather than only constant (==) declarations.

Expression = let , SchemaText , @ , Expression
| (-tok , let , SchemaText , )-tok
;

IT 4-Jan-2002