`label` statement

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

In a redefine query, the statement <LABEL> label <NEW LABEL> renames the type <LABEL> to <NEW LABEL>.

Defining type labels

The label keyword is not used when defining types. The type label is created automatically when the type is defined.

#!test[schema]
define entity user;

#!test[schema]
match $t label user;

The label keyword can be used in a redefine query to rename an existing type. The kind of the type can optionally be specified.

#!test[schema]
redefine entity user label member;

Role types are renamed using their scoped label.

#!test[schema]
#{{
define relation friendship relates friend;
#}}
#!test[schema]
redefine friendship:friend label participant;