law all_bytes_unpack

lawful-bytes@0.1.1.0 · proof_seq.bend:159

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

159law all_bytes_unpack:
160  for +ws: List<&2, U32>
161  {D.all_bytes(D.unpack(ws)) == True{} : Bool}