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