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, 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 |

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, 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 |