CPSolver.Search.VariableSelector behaviour (Fixpoint v0.8.30)
Summary
Callbacks
Link to this callback
select_variable(list)
@callback select_variable([Variable.t()]) :: Variable.t() | nil
@callback select_variable([Variable.t()]) :: Variable.t() | nil