def should_pop

bend-toon-codec@0.1.0.0 · src/frame.bend:178

import Base

178# Is the top frame at or below depth `t`?
179def should_pop(+stk: List<&2, Fr>, +t: U32) -> Bool:
180  match stk:
181    case Con{top, rest}:
182      U32.is_ge(fr.depth(top), t)
183    case Nil{}:
184      False{}