label statement

The constraint $t label <LABEL> matches all types $t that have the label (name) <LABEL>.

Defining type labels

The label keyword is only used when matching on a type label. The type label is created automatically when the type is defined.

define entity user;

Matching type labels

match $t label user;