Up – Package index » ACGtk documentation index » Library acgtk.containers » Containers » Resumptions

Module `Containers.Resumptions`Source

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

ACGtk documentation index
- CHANGES
- LICENSE
- README
- ACGtk developper documentation
- Scripting language
- ACGtk user documentation
- Library acgtk.acgData
  - AcgData
- Library acgtk.containers
  - Containers
- Library acgtk.datalogLib
  - DatalogLib
- Library acgtk.dump
  - Dump
- Library acgtk.grammars
  - Grammars
- Library acgtk.logic
  - Logic
- Library acgtk.magicRewriting
  - MagicRewriting
- Library acgtk.scripting
  - Scripting
- Library acgtk.svg
- Library acgtk.svg_cairo
- Library acgtk.svg_dummy
- Library acgtk.utilsLib
  - UtilsLib
- Sources

Sourcemodule type Resumptions_sig = sig ... end

module Make
  (W : Weight.Weight_sig)
  (C : sig ... end) : 
  Resumptions_sig with type 'a computation = 'a C.computation and type w = W.w

This module is a functore generating a resumption store for the specified weight module and the specified computational type