Recurrence.positive: def of bend-kit-scheduler@0.4.1.0
Import: import bend-kit-scheduler@0.4.1.0/recurrence.bend as Recurrence
Lines 48-53 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=48&end_line=53

import Base

def positive(cadence: Cadence, +previous: Nat, +completion: Nat, +period: Nat) -> Plan:
  match cadence:
    case FixedDelay{}:
      Planned{Nil{}, Nat.add(completion, period)}
    case FixedRate{policy}:
      rate(previous, completion, period, policy)

Uses (6):
  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=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-scheduler@0.4.1.0/recurrence.bend&name=Cadence
  https://jend.leeeet.dev/definition.txt?path=bend-kit-scheduler@0.4.1.0/recurrence.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=bend-kit-scheduler@0.4.1.0/recurrence.bend&name=rate