DefTerm | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
DeleteAll | Language.Symantic.Typing.List, Language.Symantic.Typing, Language.Symantic |
deleteDefTerm | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
deleteDefTermInfix | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
deleteDefTermPostix | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
deleteDefTermPrefix | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
DepthLam | Language.Symantic.Interpreting.View, Language.Symantic.Interpreting, Language.Symantic |
Dict | Language.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic |
docConst | Language.Symantic.Typing.Document, Language.Symantic.Typing, Language.Symantic |
docMod | Language.Symantic.Typing.Document, Language.Symantic.Typing, Language.Symantic |
docNameTy | Language.Symantic.Typing.Document, Language.Symantic.Typing, Language.Symantic |
docPathMod | Language.Symantic.Typing.Document, Language.Symantic.Typing, Language.Symantic |
docType | Language.Symantic.Typing.Document, Language.Symantic.Typing, Language.Symantic |
docTypes | Language.Symantic.Typing.Document, Language.Symantic.Typing, Language.Symantic |
Dup | |
1 (Type/Class) | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |
2 (Data Constructor) | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |
dup0 | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |
dup1 | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |
dup2 | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |
dup3 | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |
dup_1 | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |
dup_2 | Language.Symantic.Interpreting.Dup, Language.Symantic.Interpreting, Language.Symantic |