ADP.Fusion.Unit

Unit indices have just a single element in their set. This is actually *not* useless, since it can be used to "fold" from another index structure into the single () element.

Documentation

module ADP.Fusion.Core

module ADP.Fusion.Unit.SynVar.Indices

module ADP.Fusion.Unit.Term.Deletion

module ADP.Fusion.Unit.Term.Epsilon