ADPfusion-0.5.1.0: Efficient, high-level dynamic programming.
ADP.Fusion.SynVar.Split
Description
Split syntactic variables for multi-cfg dynamic programs.
module ADP.Fusion.SynVar.Split.Type
module ADP.Fusion.SynVar.Split.Subword