Codec.Loop: type of bend-kit-postgres@0.3.0.0
Import: import bend-kit-postgres@0.3.0.0/codec.bend as Codec
Lines 398-401 of bend-kit-postgres@0.3.0.0/codec.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&start_line=398&end_line=401

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=Cur