Commands.Step: type of bend-kit-commands@0.4.0.0
Import: import bend-kit-commands@0.4.0.0/commands.bend as Commands
Lines 26-30 of bend-kit-commands@0.4.0.0/commands.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-commands@0.4.0.0/commands.bend&start_line=26&end_line=30

import Base

# Write: commit the state, the record, and the effects together. Note: commit only the record. Keep: write nothing.
type Step<-S: Type, -P: Type, -R: Type, -E: Type> is Type:
  Write{state: S, record: Record<P, R>, reply: Reply<R>, effects: List<E>}
  Note{record: Record<P, R>, reply: Reply<R>}
  Keep{reply: Reply<R>}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Record
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Reply