Lattice

def is_subseteq(self, other: Result) -> bool:
    return True

def join(self, other: Result) -> Result:
    if other is other.bottom():
        return self

    if not isinstance(other, PartialLambda):
        return Unknown().join(other)  # widen self

    if self.code is not other.code:
        return Unknown()  # lambda stmt is pure

    if len(self.captured) != len(other.captured):
        return self.bottom()  # err

    return PartialLambda(
        self.argnames,
        self.code,
        tuple(x.join(y) for x, y in zip(self.captured, other.captured)),
    )

def meet(self, other: Result) -> Result:
    if not isinstance(other, PartialLambda):
        return Unknown().meet(other)

    if self.code is not other.code:
        return self.bottom()

    if len(self.captured) != len(other.captured):
        return Unknown()

    return PartialLambda(
        self.argnames,
        self.code,
        tuple(x.meet(y) for x, y in zip(self.captured, other.captured)),
    )

def is_equal(self, other: Result) -> bool:
    if isinstance(other, PartialTuple):
        return all(x.is_equal(y) for x, y in zip(self.data, other.data))
    elif isinstance(other, Value) and isinstance(other.data, tuple):
        return all(x.is_equal(Value(y)) for x, y in zip(self.data, other.data))
    return False

def join(self, other: Result) -> Result:
    if other.is_subseteq(self):
        return self
    elif self.is_subseteq(other):
        return other
    elif isinstance(other, PartialTuple):
        return PartialTuple(tuple(x.join(y) for x, y in zip(self.data, other.data)))
    elif isinstance(other, Value) and isinstance(other.data, tuple):
        return PartialTuple(
            tuple(x.join(Value(y)) for x, y in zip(self.data, other.data))
        )
    return Unknown()

def meet(self, other: Result) -> Result:
    if self.is_subseteq(other):
        return self
    elif other.is_subseteq(self):
        return other
    elif isinstance(other, PartialTuple):
        return PartialTuple(tuple(x.meet(y) for x, y in zip(self.data, other.data)))
    elif isinstance(other, Value) and isinstance(other.data, tuple):
        return PartialTuple(
            tuple(x.meet(Value(y)) for x, y in zip(self.data, other.data))
        )
    return self.bottom()

def is_subseteq(self, other: Result) -> bool:
    return isinstance(other, Unknown)

def is_equal(self, other: Result) -> bool:
    if isinstance(other, Value):
        return self.data == other.data
    return False