ADPfusion-0.4.1.0: Efficient, high-level dynamic programming.
ADP.Fusion.Term.Edge
module ADP.Fusion.Term.Edge.Type
module ADP.Fusion.Term.Edge.Set