We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Most sorts in a K definition are defined by the user. However, K recognizes certain sorts as special. They are as follows.
Can any of these be extended by the user (e.g. using a "syntax" declaration)?