~/jendhub

def d2g

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/w64div.bend:109

import bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64div.bend as W64div
import Base

109def d2g(+lo: U32, +m16: U32) -> Nat:
110  U32.to_nat(U32.and(lo, m16))

Uses (4)

Used by (5)