Batch.axes: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Batch.bend as Batch
Lines 22-27 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=22&end_line=27

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

def axes(mode: E.Mode, +qn: Nat, +tn: Nat) -> Nat & Nat:
  match mode:
    case E.NW{}:
      (Nat.min(qn, tn), Nat.max(qn, tn))
    case _:
      (qn, tn)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.max
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.min
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Mode