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.