type WeightedJob
import bend-edit-distance@0.2.2.0/src/Batch.bend as Batchimport Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E
5type WeightedJob is Data:
6 WeightedJob{index: Nat, work: F32, job: E.AlignJob}
import bend-edit-distance@0.2.2.0/src/Batch.bend as Batchimport Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E
5type WeightedJob is Data:
6 WeightedJob{index: Nat, work: F32, job: E.AlignJob}