law new_full

lawful-arrays@0.1.0.0 · LAWS.bend:16

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

16law new_full:
17  for -T: Data
18  for d: Nat
19  for v: T
20  {D.full(T, Array.new(T, d, v), d) == True{} : Bool}