Cubicle 1.1.2 documentation and source : Types.ArrayAtom.of

let of_satom s =
    Array.of_list (SAtom.elements s)