def low_bit
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/u32.bend as U32import Base
136def low_bit(x: U32) -> Bool:
137 match x:
138 case U32{w}:
139 match w:
140 case WCon{b, t}:
141 b
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/u32.bend as U32import Base
136def low_bit(x: U32) -> Bool:
137 match x:
138 case U32{w}:
139 match w:
140 case WCon{b, t}:
141 b