def union((s_obj1, s_obj2)):
vars = list(set(s_obj1.is_type_of) | set(s_obj2.is_type_of))
result = SomeTypeOf(vars)
if (s_obj1.is_immutable_constant() and s_obj2.is_immutable_constant()
and s_obj1.const == s_obj2.const):
result.const = obj1.const
return result
def union((s_obj1, s_obj2)):
vars = list(set(s_obj1.is_type_of) | set(s_obj2.is_type_of))
result = SomeTypeOf(vars)
if (s_obj1.is_immutable_constant() and s_obj2.is_immutable_constant()
and s_obj1.const == s_obj2.const):
result.const = obj1.const
return result
def type_SomeObject(annotator, v_arg):
return SomeTypeOf([v_arg])