~/jendhub

def low_from

bend-visgraph@2.0.0.0 · visgraph.bend:621

import bend-visgraph@2.0.0.0/visgraph.bend as Visgraph
import Base

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

Uses (5)

Used by (1)