Batch.estimate_sizes: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Batch.bend as Batch
Lines 53-64 of bend-edit-distance@0.2.2.0/src/Batch.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Batch.bend&start_line=53&end_line=64

import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

# A scheduling heuristic, not a timing prediction: input scans, 256-symbol
# profiles, full Myers columns, worst-case HW start searches and PATH DP.
# F32 avoids wrapping a U32 product or allocating a quadratic unary Nat.
# Bands, retries, similarity and the selected interval can change actual work.
def estimate_sizes(qn: Nat, tn: Nat, config: E.AlignConfig) -> F32:
  match qn tn config:
    case 0n +t _:
      (1.0 + F32.from_nat(t) : F32)
    case +q 0n _:
      (1.0 + F32.from_nat(q) : F32)
    case +q +t E.AlignConfig{+mode, task, _, pairs, _}:
      estimate_axes(mode, task, pairs, axes(mode, q, t))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=AlignConfig
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Batch.bend&name=axes
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Batch.bend&name=estimate_axes