Containers.WeightThis module implements different weighting schemes to be used for sorting computational states (in our case, trees as described by traversing focused shared forests).
module type Weight_sig = sig ... endmodule Weight_as_Depth : Weight_sigA module that implements weight as the depth of a tree (the number of nodes does not matter. The smaller, the better
module Weight_as_Depth_and_Size : Weight_sigA 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.