Cubicle 1.1.2 documentation and source : Types.SAtom.variables

let variables sa =
    fold (fun a -> Variable.Set.union (Atom.variables a)) sa Variable.Set.empty