law of_list_perfect

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

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

158law of_list_perfect:
159  for -T: Data
160  for +d: Nat
161  for +xs: List<&2, T>
162  for +f: T
163  {A.Arrays.is_perfect(T, d, A.Arrays.of_list(T, d, xs, f)) == True{} : Bool}