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

Summary

Callbacks

Link to this callback

select_value(t)

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