Cubicle 1.1.2 documentation and source : Types.ArrayAtom.alpha

let alpha atoms args =
    let subst = Variable.build_subst args Variable.alphas in
    List.map snd subst, apply_subst subst atoms