Index - D
| DC | LIO.DCLabel |
| dcDefaultState | LIO.DCLabel |
| dcIntegrity | LIO.DCLabel |
| DCLabel | |
| 1 (Type/Class) | LIO.DCLabel |
| 2 (Data Constructor) | LIO.DCLabel |
| DCLabeled | LIO.DCLabel |
| DCPriv | LIO.DCLabel |
| dcPublic | LIO.DCLabel |
| dcSecrecy | LIO.DCLabel |
| delegate | LIO.Delegate, LIO |
| dFromList | LIO.DCLabel |
| Disjunction | LIO.DCLabel |
| downgradeP | LIO.Label, LIO |
| dToSet | LIO.DCLabel |