def throwing_cont(value, solver): yield unwind(stop_cont, value, tag, cont, solver), value
def unwind_cont(value, solver): yield unwind(cont0, form_value, tag, stop_cont, solver, next_cont), form_value
def done_lookup(cont, tag, stop_cont, solver):
@mycont(cont)
def loopkup_fail_cont(value, solver):
raise DaoUncaughtThrow(tag)
return unwind(stop_cont, None, tag, loopkup_fail_cont, solver)
