Containers.WeightSourceThis module implements different weighting schemes to be used for sorting computational states (in our case, trees as described by traversing focused shared forests).
A module that implements weight as the depth of a tree (the number of nodes does not matter. The smaller, the better
A module that implements weight as the the lexicographic order over (depth, size) of a tree (where size is the number of nodes). The smaller the better.