def hex4.fin

cswap-bend-cli@0.1.0.0 · json/lex.bend:146

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

146def hex4.fin(+a: U32, +b: U32, +c: U32, +d: U32) -> U32:
147  sel(U32.is_lt(a, 16) && U32.is_lt(b, 16) && U32.is_lt(c, 16) && U32.is_lt(d, 16),
148    (a * 4096 + b * 256 + c * 16 + d : U32), 65533)

Uses (6)

Used by (1)