Batch.add: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Batch.bend as Batch
Lines 83-86 of bend-edit-distance@0.2.2.0/src/Batch.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Batch.bend&start_line=83&end_line=86

import Base

def add(group: Group, job: WeightedJob) -> Group:
  Group{room, work, jobs} = group
  WeightedJob{index, +cost, value} = job
  Group{Nat.sub(room, 1n), F32.add(work, cost), WeightedJob{index, cost, value} <> jobs}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Batch.bend&name=Group
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Batch.bend&name=WeightedJob