def U32.log2

Base · base.bend:1585

import Base
1585def U32.log2(n: U32) -> Nat:
1586  U32.log2.go(5n, n, 0n)

Uses (3)

Used by (23)