~/jendhub

def push_opening_nans

bend-visgraph@2.0.0.0 · visgraph.bend:341

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

341def push_opening_nans(count: Nat, +i: U32, st: Stack) -> Stack:
342  match st:
343    case KCon{+j, +kj, rest}:
344      push_with_key(count, i, kj, KCon{j, kj, rest})
345    case KNil{}:
346      push_with_key(count, i, inf(), KNil{})

Uses (5)

Used by (1)