The Avail Programming Language

Label

A single optional continuation definition phrase that appears alone within the first statement in the statement list of a block and that is preceded by $. The inclusion of a label statement is mutually exclusive with the inclusion of a primitive linkage statement.

References: An in-depth look at label phrases