We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
:is
Boolean expression: A :is B where A is a term and B is a sort. Returns true if A is of sort B.
A :is B
A
B