Type Alias SolverMutCallback

pub type SolverMutCallback = Box<dyn Fn(HashMap<Name, Literal>, Box<dyn ModelModifier>) -> bool + Send>;

Aliased Type

struct SolverMutCallback(/* private fields */);