package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ContainersSource

Sourcemodule ListContext : sig ... end

This module implements list contexts.

Sourcemodule Resumptions : sig ... end

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

Sourcemodule SharedForest : sig ... end

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

Sourcemodule TreeContext : sig ... end

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

Sourcemodule 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).