Index - L
| L0 | LIO.HiStar |
| L1 | LIO.HiStar |
| L2 | LIO.HiStar |
| L3 | LIO.HiStar |
| Label | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| label | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| Labeled | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| LabelFault | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| labelOf | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| labelOfLIORef | LIO.LIORef.TCB, LIO.LIORef.Safe, LIO.LIORef, LIO.LIO |
| labelOfName | LIO.FS |
| labelOfNode | LIO.FS |
| labelP | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| labelState | LIO.TCB |
| labelTCB | LIO.TCB |
| labelToList | LIO.DCLabel |
| lapply | LIO.HiStar |
| Lattice | LIO.DCLabel |
| lbot | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| lcat | LIO.HiStar |
| leq | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| leqp | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| LerrClearance | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| LerrHigh | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| LerrInval | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| LerrLow | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| LerrPriv | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| LHandle | LIO.Handle, LIO.LIO |
| liftIO | LIO.MonadLIO, LIO.LIO |
| liftLIO | LIO.MonadLIO, LIO.LIO |
| linkNode | LIO.FS |
| LIO | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| lioC | LIO.TCB |
| lioL | LIO.TCB |
| LIORef | LIO.LIORef.TCB, LIO.LIORef.Safe, LIO.LIORef, LIO.LIO |
| LIOstate | |
| 1 (Type/Class) | LIO.TCB |
| 2 (Data Constructor) | LIO.TCB |
| listToDisj | LIO.DCLabel |
| listToLabel | LIO.DCLabel |
| lookupName | LIO.FS |
| lookupNode | LIO.FS |
| lostar | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| lowerClr | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| lowerClrP | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| lowerClrTCB | LIO.TCB |
| ltop | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| lub | LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO |
| lupdate | LIO.HiStar |
| lupdates | LIO.HiStar |