def heavier

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

import bend-edit-distance@0.2.2.0/src/Batch.bend as Batch

import Base

78def heavier(first: WeightedJob, second: WeightedJob) -> Bool:
79  WeightedJob{_, a, _} = first
80  WeightedJob{_, b, _} = second
81  F32.is_ge(a, b)

Uses (3)

Used by (1)

bend-edit-distance@0.2.2.0/src/Batch:prepare