Deletion | |
1 (Type/Class) | ADP.Fusion.Core.Term.Deletion, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
2 (Data Constructor) | ADP.Fusion.Core.Term.Deletion, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |
Disabled | ADP.Fusion.Core.Term.Switch |
Div | ADP.Fusion.Core.TyLvlIx, ADP.Fusion.Core, ADP.Fusion.PointL, ADP.Fusion.PointR, ADP.Fusion.Unit |