def h.onebit
import bend-kit-collections@0.1.4.1/PROOF.bend as PROOFimport Base
1843def h.onebit(m: U32) -> Bool:
1844 match m:
1845 case U32{w}:
1846 h.at1(32n, w)
import bend-kit-collections@0.1.4.1/PROOF.bend as PROOFimport Base
1843def h.onebit(m: U32) -> Bool:
1844 match m:
1845 case U32{w}:
1846 h.at1(32n, w)