def agg.bad

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

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

514def agg.bad(bad: Bool, +kind: U32, +n: U32, +next: U32, stack: List<&1, Frame>) -> St:
515  match bad:
516    case True{}:
517      SBad{}
518    case False{}:
519      +left = agg.left(kind, n)
520      agg.open(U32.is_eq(left, 0), kind, left, next, stack)

Uses (8)

Used by (1)