law vector_not_perfect

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

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

288law vector_not_perfect:
289  {A.Arrays.is_perfect(U32, 2n, ANode{ALeaf{1}, ANode{ALeaf{2}, ALeaf{3}}}) == False{} : Bool}