law reflect

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

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

207law reflect:
208  for -T: Data
209  for +d: Nat
210  for a: Array<T>
211  for h: {A.Arrays.is_perfect(T, d, a) == True{} : Bool}
212  for +f: T
213  exs xs: List<&2, T>
214  {A.Arrays.of_list(T, d, xs, f) == a : Array<T>} & {List.length(&2, T, xs) == A.Arrays.slots(d) : Nat}