def group_jobs
import bend-edit-distance@0.2.2.0/src/Batch.bend as Batchimport Base
114def group_jobs(group: Group) -> List<&2, WeightedJob>:
115 Group{_, _, jobs} = group
116 List.reverse(&2, WeightedJob, jobs)
import bend-edit-distance@0.2.2.0/src/Batch.bend as Batchimport Base
114def group_jobs(group: Group) -> List<&2, WeightedJob>:
115 Group{_, _, jobs} = group
116 List.reverse(&2, WeightedJob, jobs)