law of_list_new

bend-osdev-array@0.1.0.1 · LAWS.bend:201

import Base
import bend-osdev-array@0.1.0.1/array.bend as A

201law of_list_new:
202  for -T: Data
203  for +d: Nat
204  for +v: T
205  {Array.new(T, d, v) == A.Arrays.of_list(T, d, List.replicate(T, A.Arrays.slots(d), v), v) : Array<T>}