is_a

Description:

public bool is_a (Type is_a_type)

If is_a_type is a derivable type, check whether type is a descendant of is_a_type.

If is_a_type is an interface, check whether type conforms to it.

is_a_type	possible ancestor of `type` or interface that `type` could conform to
type	type to check ancestry for

true if type is a is_a_type