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

Summary

Callbacks

select_value(t)

Callbacks

Link to this callback

select_value(t)

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