package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Context : sig ... end

Context and backtrack point management

module Debug : sig ... end

module Hashtbl_hetero : sig ... end

module Hashtbl_hetero_sig : sig ... end

module Keys : sig ... end

module Keys_sig : sig ... end

Key generators

module Map_hetero : sig ... end

module Map_hetero_sig : sig ... end

module Shuffle : sig ... end

Module for shuffling arbitrary choices.

module Std : sig ... end

module Std_sig : sig ... end

module Wto : sig ... end

Weak topological orderings (WTOs) are a hierarchical decomposition of the a graph where each layer is topologically ordered and strongly connected components are aggregated and ordered recursively. This is a very convenient representation to describe an evaluation order to reach a fixpoint.