This module implements list contexts.

This module implements resumptions (computational states that a program reaches or from which it can start.

This modules implements shared forests and shared forest contexts (zippers for shared forests).

This module implements trees and tre contexts (i.e., zippers).

This module implements different weighting schemes to be used for sorting computational states (in our case, trees as described by traversing focused shared forests).