law empty_view

lawful-bytes@0.1.1.0 · proof_grow.bend:59

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

59law empty_view:
60  for +d: Nat
61  {D.view(B.empty(d)) == Nil{} : List<&2, U32>}