avail/avail.descriptor.objects/ObjectTypeDescriptor/o_TypeUnionOfObjectType

o_TypeUnionOfObjectType

open override fun o_TypeUnionOfObjectType(self: AvailObject, anObjectType: AvailObject): A_Type

Answer the most specific type that is still at least as general as these. Here we're finding the nearest common ancestor of two eager object types.