law new_view

lawful-arrays@0.1.0.0 · LAWS.bend:22

import Base
import lawful-arrays@0.1.0.0/defs.bend as D

22law new_view:
23  for -T: Data
24  for d: Nat
25  for v: T
26  {D.view(T, Array.new(T, d, v)) == List.replicate(T, Nat.pow(2n, d), v) : List<&2, T>}