law view_bytes

lawful-bytes@0.1.1.0 · LAWS.bend:21

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

21law view_bytes:
22  for b: D.Bytes
23  {D.all_bytes(D.view(b)) == True{} : Bool}