CPSolver.Search.ValueSelector behaviour (Fixpoint v0.8.28)

Summary

Callbacks

Link to this callback

select_value(t)

@callback select_value(Variable.t()) :: integer()