def update(self, n, k, v):
if is_eqv(n, self.name):
self.value = v
return k.resume(v)
else:
return self.others.update(n, k, v)
def catch_lookup(self, tag, kk):
if is_eqv(tag, self.tag):
return evaluate(kk.form, kk.r, ThrowingCont(kk, tag, self))
else:
return self.k.catch_lookup(tag, kk)
def lookup(self, n, k):
if is_eqv(n, self.name):
return k.resume(self.value)
else:
return self.others.lookup(n, k)