Cubicle 1.1.2 documentation and source : Types.ArrayAtom.to

let to_satom =
    Array.fold_left (fun s a -> SAtom.add a s) SAtom.empty