UExpr | |
1 (Type/Class) | Copilot.Core.Expr, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
uExprExpr | Copilot.Core.Expr, Copilot.Core |
uExprType | Copilot.Core.Expr, Copilot.Core |
uninitialized | Copilot.Core.Type.Uninitialized, Copilot.Core |
UType | |
1 (Type/Class) | Copilot.Core.Type, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
uTypeType | Copilot.Core.Type, Copilot.Core |