pub type ResolveFn = Box<dyn FnOnce(State) -> Option<State>>;
An alias for the function that should be returned by a successful Constraint::attempt to update the State.
Constraint::attempt
State