
  [;1m-spec is_sofs_set(Term) -> Bool when Bool :: boolean(), Term :: term().[0m

  Returns [;;4mtrue[0m if [;;4mTerm[0m is an unordered set, an ordered set, or
  an atomic set, otherwise [;;4mfalse[0m.
