def done

bend-kit-redis@0.3.0.0 · redis.bend:602

import bend-kit-redis@0.3.0.0/redis.bend as Redis

import Base

602def done(stack: List<&1, Frame>, v: Val, +i: U32) -> St:
603  match stack:
604    case Nil{}:
605      SOk{v, i}
606    case Con{fr, rest}:
607      Frame{+kind, +left, xs} = fr
608      done.last(U32.is_eq(left, 1), kind, left, Con{v, xs}, i, rest)

Uses (7)

Used by (1)

bend-kit-redis@0.3.0.0/redis:run