def end_n

bolt@1.27.0.0 · src/syntax/tree.bend:336

import bolt@1.27.0.0/src/syntax/tree.bend as Tree

import Base

336# n statements finish, innermost first
337def end_n(nn: Nat, stack: List<&2, Frame>) -> List<&2, Frame>:
338  match nn:
339    case Zero{}:
340      stack
341    case Succ{p}:
342      end_n(p, end_stmt(stack))

Uses (4)

Used by (2)