Recurrence.replay: def of bend-kit-scheduler@0.4.1.0 Import: import bend-kit-scheduler@0.4.1.0/recurrence.bend as Recurrence Lines 15-18 of bend-kit-scheduler@0.4.1.0/recurrence.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-scheduler@0.4.1.0/recurrence.bend&start_line=15&end_line=18 import Base def replay(p: Plan) -> List<&2, Nat>: match p: case Planned{ticks, next}: ticks Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=bend-kit-scheduler@0.4.1.0/recurrence.bend&name=Plan