Nat | ADP.Fusion.Core.TyLvlIx, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
natVal | ADP.Fusion.Core.TyLvlIx, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
natVal' | ADP.Fusion.Core.TyLvlIx, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
NewBoundary | |
1 (Type/Class) | ADP.Fusion.Core.Term.Edge, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
2 (Data Constructor) | ADP.Fusion.Core.Term.Edge, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
NilVar | ADP.Fusion.Core.TH.Backtrack |
NonEmpty | |
1 (Type/Class) | ADP.Fusion.Core.Classes, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
2 (Data Constructor) | ADP.Fusion.Core.Classes, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
numberOfCells | ADP.Fusion.Core.SynVar.FillTyLvl, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |