Lex.hex4.fin: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/json/lex.bend as Lex
Lines 146-148 of cswap-bend-cli@0.1.0.0/json/lex.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/json/lex.bend&start_line=146&end_line=148

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json/lex.bend&name=sel