law bit_255

lawful-words@0.1.0.0 · proof_bytes.bend:227

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

227law bit_255:
228  for +k: Nat
229  {D.bit(255, k) == Nat.is_lt(k, 8n) : Bool}