Solution: Describe a class

Here is a possible solution to the task.

Code

class Animal {
}

class Dog is Animal {
}

say Dog.^name;
say Dog.^mro.elems;
say 'Cat' ∈ Dog.^mro.map(*.^name);

🦋 You can find the source code in the file describe-a-class.raku.

Dog
4
False

.^name returns the class’s own name, Dog.
.^mro returns the inheritance chain, and .elems counts it. There are four types in the chain — Dog, its parent Animal, and the universal Any and Mu — so the count is 4.
.^mro.map(*.^name) turns that chain into the list of type names, (Dog Animal Any Mu). The ∈ set-membership operator then checks whether Cat is one of them. Dog does not descend from any Cat, so the answer is False.