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