ADPfusion-0.4.1.1: Efficient, high-level dynamic programming.
ADP.Fusion.Term.PeekIndex
module ADP.Fusion.Term.PeekIndex.Type
module ADP.Fusion.Term.PeekIndex.Subword