Reconstruction.small_matrix: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction
Lines 117-120 of bend-edit-distance@0.2.2.0/src/Reconstruction.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&start_line=117&end_line=120

import Base

# Bound the complete small matrix, including its boundary cells. A one-row
# problem is also a base case, with linear storage in the column width.
def small_matrix(query_length: Nat, +target_length: Nat) -> Bool:
  Nat.is_le(1n+query_length, Nat.div(4096n, 1n+target_length))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le