| XAbs | DDC.Core.Exp.Generic.Exp |
| XAnnot | |
| 1 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XApp | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| XCase | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XCast | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XCon | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XLAM | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XLam | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xLAMs | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| xLams | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| XLet | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xLets | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| xLetsAnnot | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| XPrim | DDC.Core.Exp.Generic.Exp |
| XType | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xUnit | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| XVar | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XWitness | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Simple.Exp |