law empty_view

lawful-bytes@0.1.1.0 · LAWS.bend:35

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

35law empty_view:
36  for d: Nat
37  {D.view(B.empty(d)) == Nil{} : List<&2, U32>}