def internal_shl_val

bend-mathlib@0.8.1.0 · u32.bend:775

import bend-mathlib@0.8.1.0/u32.bend as U32

import Base

775def internal_shl_val(n: Nat, md: Nat, ts: Bool & Word(n)) -> Nat:
776  match ts:
777    case (t, s):
778      Nat.add(Word.to_nat(n, s), Bool.pick(Nat, t, md, 0n))

Uses (8)

Used by (4)