~/jendhub

def wrap

lawful-words@0.1.0.0 · defs.bend:11

import lawful-words@0.1.0.0/defs.bend as Defs
import Base

11# n modulo 2^32: the number U32.from_nat(n) stands for (the laws write
12# Nat.mod(n, Nat.pow(2n, 32n)) inline, for the same reason).
13def wrap(n: Nat) -> Nat:
14  Nat.mod(n, two32())

Uses (3)

Used by (0)

No other definition uses this definition.