~/jendhub

def bound_unbounded

bend-visgraph@2.0.0.0 · visgraph.bend:367

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

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

Uses (4)

Used by (1)