law list_bytes

lawful-fields@0.1.1.0 · proof_digits.bend:728

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

728law list_bytes:
729  for +n: U32
730  {D.all_bytes(FC.put_dec.list(n)) == True{} : Bool}