Visgraph.bound_unbounded: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/visgraph.bend as Visgraph
Lines 367-373 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=367&end_line=373

import Base

def bound_unbounded(u: Unbounded, m: Merged) -> Merged:
  match u:
    case UNil{}:
      m
    case UCon{+i, +y, next}:
      Merged{st, lefts, rights, +visits} = m
      bound_unbounded(next, set_left(i, lefts, pops_from(st, y, i, rights, visits)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Merged
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Unbounded
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=pops_from
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=set_left