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

Summary

Callbacks

select_value(t)

Callbacks

Link to this callback

select_value(t)

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