Index - D
| DC | LIO.DCLabel |
| DCCatSet | LIO.DCLabel |
| DCLabel | LIO.DCLabel |
| DCLabeled | LIO.DCLabel |
| DCPriv | LIO.DCLabel |
| DCPrivTCB | LIO.DCLabel |
| dearmor32 | LIO.Armor |
| delegatePriv | LIO.DCLabel |
| DirectoryOps | LIO.Handle, LIO.LIO |
| discard | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| Disj | LIO.DCLabel |
| disj | LIO.DCLabel |
| DisjToFromList | LIO.DCLabel |
| disjToList | LIO.DCLabel |
| DisjunctionOf | LIO.DCLabel |