puzzle_solver
type PsResult<T> = Result<T, ()>;
A result during a puzzle solution search (Err = contradiction).