~/jendhub

def depth.next

cswap-bend-cli@0.1.0.0 · json/scan.bend:19

import cswap-bend-cli@0.1.0.0/json/scan.bend as Scan
import Base
import cswap-bend-cli@0.1.0.0/json/lex.bend as Lex

19def depth.next(+k: U32, +d: U32) -> U32:
20  Lex.sel(U32.is_eq(k, 11) || U32.is_eq(k, 12), (d + 1 : U32),
21    Lex.sel(U32.is_eq(k, 21) || U32.is_eq(k, 22), Lex.sel(U32.is_eq(d, 0), 0, (d - 1 : U32)), d))

Uses (6)

Used by (1)