CPSolver.Search.ValuePartition behaviour (Fixpoint v0.8.5)

Summary

Callbacks

@callback partition(CPSolver.Variable.t()) ::
  {:ok, [Domain.t() | number()]} | {:error, any()}