Module Containers

module ListContext : sig ... end

This module implements list contexts.

module Resumptions : sig ... end

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

module SharedForest : sig ... end

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

module TreeContext : sig ... end

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

module Weight : sig ... end

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