~/jendhub

def band_keep_first

bend-edit-distance@0.2.2.0 · src/Myers.bend:239

import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
import Base

239def band_keep_first(+score: Nat, bottom: Nat, +maximum: Nat,
240                    length: Nat, target_length: Nat, column: Nat) -> Bool:
241  Bool.and(Nat.is_lt(score, Nat.add(maximum, 32n)),
242    Nat.is_ge(Nat.add(Nat.add(bottom, maximum), target_length),
243      Nat.add(Nat.add(score, length), column)))

Uses (6)

Used by (1)