~/jendhub

def d1g

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

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

106def d1g(+lo: U32, +c16: U32) -> Nat:
107  U32.to_nat(U32.div(lo, c16))

Uses (4)

Used by (8)