
  [;1m-spec family(Tuples, Type) -> Family[0m
  [;1m                when[0m
  [;1m                    Family :: family(),[0m
  [;1m                    Tuples :: [tuple()],[0m
  [;1m                    Type :: type().[0m

  Creates a family of subsets. [;;4mfamily(F, T)[0m is equivalent to [;;4m[0m
  [;;4mfrom_term(F, T)[0m if the result is a family. If no type is
  explicitly specified, [;;4m[{atom, [atom]}][0m is used as the family
  type.
