def add

bend-edit-distance@0.2.2.0 · src/Batch.bend:83

import Base

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