~/jendhub

def agg.ok

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

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

157def agg.ok(+kind: U32, +n: U32) -> Bool:
158  +odd = U32.is_eq((n .&. 1 : U32), 1)
159  Bool.pick(Bool, U32.is_eq(kind, 1), Bool.not(odd), Bool.pick(Bool, U32.is_eq(kind, 3), odd, True{}))

Uses (6)

Used by (1)