law witness_perfect

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

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

256law witness_perfect:
257  {Bool.and(A.Arrays.is_perfect(U32, 2n, Array.new(U32, 2n, 0)), Nat.is_lt(2n, 32n)) == True{} : Bool}