Parameter Binding (binding)¶
A Parameter Binding (binding) is an ID on the left-hand side of a colon and a Compound Expression (compoundexpr) on the right-hand side.
Parameter bindings can be part of an Application (app).
binding ::= ID ':' compoundexpr
- An ID is a regular string beginning with a letter and containing letters, numbers, or the symbols -, _, or . and not being a keyword.