flush
MonoidTape
ReferenceCount
SemigroupTape
forceBackward
MonoidTape
SemigroupTape
forward
CumulativeLayer