def parameterize(self, kinds):
for slot, kind in zip(self.slots, kinds):
literals.resolve_same(slot.kind(), kind.kind())
return self
def __init__(self, cond, a, b): literals.resolve_same(kinds.INT, cond) self.cond = cond self.a = a self.b = b