def _set_type(self, other_type=ANY_TYPE, signature=None):
        assert isinstance(other_type, Type)

        if signature is None:
            signature = defaultdict(list)

        resolution = other_type
        for varEx in signature[self.variable.name]:
            resolution = varEx.type.resolve(resolution)
            if not resolution:
                raise InconsistentTypeHierarchyException(self)

        signature[self.variable.name].append(self)
        for varEx in signature[self.variable.name]:
            varEx.type = resolution
Grow secondary client by specified amount
dataset/ETHPy150Open nltk/nltk/nltk/sem/logic.py/AbstractVariableExpression._set_type--crossover with--dataset/ETHPy150Open qtile/qtile/libqtile/layout/xmonad.py/MonadTall.grow