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:

_images/binding.png
binding ::= ID ':' compoundexpr

References:

ID:
An ID is a regular string beginning with a letter and containing letters, numbers, or the symbols -, _, or . and not being a keyword.