def earlier

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

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

import Base

167def earlier(first: IndexedResult, second: IndexedResult) -> Bool:
168  IndexedResult{a, _} = first
169  IndexedResult{b, _} = second
170  Nat.is_le(a, b)

Uses (3)

Used by (1)

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