def add(x, y):
return saturate(x + y, Uint[8])
async def add_gear(x, y) -> Uint[8]:
async with x as dx, y as dy:
yield saturate(dx + dy, t=Uint[8])
def test_uint_type():
saturate(Uint[8], Uint[7]) == Uint[7]