type Loop

bend-kit-postgres@0.3.0.0 · codec.bend:398

import Base

398# A loop up to a terminator: Go holds an item still to push, Stop the end. acc is reversed.
399type Loop<-A: Type, -B: Type> is Type:
400  Go{c: Cur, x: A, acc: List<&1, B>}
401  Stop{c: Cur, acc: List<&1, B>}