let subset n1 n2 = ArrayAtom.subset (array n1) (array n2)