@spec contains?(:gb_sets.set(number()), number()) :: boolean()

@spec fix(:gb_sets.set(any()), number()) :: :fail | {:fixed, :gb_sets.set(number())}

@spec fixed?(:gb_sets.set(number())) :: boolean()

@spec max(domain :: :gb_sets.set(number())) :: number()

@spec min(:gb_sets.set(number())) :: number()

@spec new(Enum.t()) :: :gb_sets.set(number())

@spec remove(:gb_sets.set(number()), number()) ::
  :fail | :no_change | {CPSolver.Common.domain_change(), :gb_sets.set(number())}

@spec removeAbove(:gb_sets.set(number()), number()) ::
  :fail | :no_change | {CPSolver.Common.domain_change(), :gb_sets.set(number())}

@spec removeBelow(:gb_sets.set(number()), number()) ::
  :fail | :no_change | {CPSolver.Common.domain_change(), :gb_sets.set(number())}

@spec size(:gb_sets.set(number())) :: non_neg_integer()