Journal.Replay: type of bend-kit-journal@0.3.1.0
Import: import bend-kit-journal@0.3.1.0/journal.bend as Journal
Lines 29-31 of bend-kit-journal@0.3.1.0/journal.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-journal@0.3.1.0/journal.bend&start_line=29&end_line=31

import Base

# The state after every committed record, how the input ends, and the input from the first frame not taken.
type Replay<-A: Type, -S: Type> is Type:
  Replay{acc: A, tail: Tail, rest: S}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-journal@0.3.1.0/journal.bend&name=Tail