pub type SolveValueFn = fn(&dyn Any) -> String;
Function pointer type for brute-force value solve dispatch.