Index - D
| DC | LIO.DCLabel |
| DCCatSet | LIO.DCLabel |
| DCLabel | LIO.DCLabel |
| DCLabeled | LIO.DCLabel |
| DCPriv | LIO.DCLabel |
| DCPrivTCB | LIO.DCLabel |
| delegatePriv | LIO.DCLabel |
| DirectoryOps | LIO.Handle |
| discard | LIO.TCB, LIO.Safe, LIO |
| discardP | LIO.TCB, LIO.Safe, LIO |
| Disj | LIO.DCLabel |
| disj | LIO.DCLabel |
| DisjToFromList | LIO.DCLabel |
| disjToList | LIO.DCLabel |
| DisjunctionOf | LIO.DCLabel |