LeftPosTy | ADP.Fusion.Core.Classes, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
Local | ADP.Fusion.Core.Term.Epsilon, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
LocalGlobal | ADP.Fusion.Core.Term.Epsilon, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
Log2 | ADP.Fusion.Core.TyLvlIx, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |