def increment_even(asker, x):
return asker.reply(answer=T.double_plus_one(x))
def increment_zero(asker):
return asker.reply(answer=T.double_plus_one(T.zero()))
def increment_even(asker, x):
return asker.reply(answer=T.double_plus_one(x))
def increment_zero(asker):
return asker.reply(answer=T.double_plus_one(T.zero()))