Index - U
| unClause | LIO.DCLabel.Core |
| unDCFormula | LIO.DCLabel.Core |
| unDCPriv | LIO.DCLabel.Privs.TCB |
| unlabel | LIO.Labeled, LIO |
| unlabeledThrowTCB | LIO.TCB |
| unlabelFilePathTCB | LIO.FS.TCB |
| unlabelLIORefTCB | LIO.LIORef.TCB |
| unlabelLMVarTCB | LIO.Concurrent.LMVar.TCB |
| unlabelP | LIO.Labeled, LIO |
| unlabelTCB | LIO.Labeled.TCB |
| unLIOTCB | LIO.TCB |
| untaintLabeled | LIO.Labeled, LIO |
| untaintLabeledP | LIO.Labeled, LIO |
| updateLIOStateTCB | LIO.TCB |
| upperBound | LIO.Label, LIO |
| UserInterrupt | LIO.Concurrent |