law bit_shl0

lawful-words@0.1.0.0 · proof_bytes.bend:171

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

171law bit_shl0:
172  for +a: U32
173  {D.bit(U32.shl(a), 0n) == False{} : Bool}