law new_full

lawful-arrays@0.1.0.0 · proof_tree.bend:184

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

184law new_full:
185  for -T: Data
186  for +d: Nat
187  for +v: T
188  {D.full(T, Array.new(T, d, v), d) == True{} : Bool}