Visgraph.low_from: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/visgraph.bend as Visgraph
Lines 621-627 of bend-visgraph@2.0.0.0/visgraph.bend: https://jend.leeeet.dev/read.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&start_line=621&end_line=627

import Base

def low_from(ts: Tops, +k: Nat, +best: Low) -> Low:
  match ts:
    case TNil{}:
      best
    case TCon{+v, next}:
      Low{bk, +bv} = best
      low_from(next, 1n+k, pick_low(F32.is_lt(v, bv), Low{k, v}, Low{bk, bv}))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Low
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Tops
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=pick_low