succ package:cabal-install-solver

the successor of a value. For numeric types, succ adds 1.

O(1). Create a log with one message before a success.

indicates successful termination;

The computation exitSuccess is equivalent to exitWith ExitSuccess, It terminates the program successfully.

Whether to remove all choices after the first successful choice at each level in the search tree.

Reduce the branching degree of the search tree by removing all choices after the first successful choice at each level. The returned tree is the minimal subtree containing the path to the first backjump.