avail/avail.descriptor.types/EnumerationTypeDescriptor/o_HasObjectInstance

o_HasObjectInstance

open override fun o_HasObjectInstance(self: AvailObject, potentialInstance: AvailObject): Boolean

The potentialInstance is a user-defined object. See if it is an instance of the object. It is an instance precisely when it is in object's set of instances, or if it is a subtype of any type that occurs in the set of instances.