PlaceHolder ​

This section describes APIs related to placeholders.

_ ​

A wildcard placeholder that indicates any unit.

unreached ​

A special marker placeholder, indicating unexpected situations during program execution.

otherwise ​

A placeholder used for indicating the catch-all pattern in match.