clipΒΆ

Clips a Queue at the certain position.

clip(din: Queue, size: Uint) → din:
drv(t=Queue[Uint[4]], seq=[list(range(10))]) \
    | clip(size=Uint[4](6)) \
    | check(ref=[list(range(6)), list(range(6, 10))])