| ./\. | DCLabel.NanoEDSL, DCLabel.Safe |
| .\/. | DCLabel.NanoEDSL, DCLabel.Safe |
| <> | DCLabel.NanoEDSL, DCLabel.Safe |
| >< | DCLabel.NanoEDSL, DCLabel.Safe |
| allLabel | DCLabel.Core |
| and_label | DCLabel.Core |
| bottom | DCLabel.Core, DCLabel.Safe |
| CanActFor | DCLabel.Core |
| canActFor | DCLabel.Core, DCLabel.Safe |
| canflowto | DCLabel.Core, DCLabel.Safe |
| canflowto_p | DCLabel.Core, DCLabel.Safe |
| cleanLabel | DCLabel.Core |
| Conj | DCLabel.Core |
| conj | DCLabel.Core |
| createPrivTCB | DCLabel.Core |
| DCLabel | DCLabel.Core, DCLabel.Safe |
| delegatePriv | DCLabel.Core, DCLabel.Safe |
| Disj | DCLabel.Core |
| disj | DCLabel.Core |
| emptyLabel | DCLabel.Core |
| ILabel | DCLabel.Integrity |
| implies | DCLabel.Core |
| integrity | DCLabel.Core, DCLabel.Safe |
| join | DCLabel.Core, DCLabel.Safe |
| Label | DCLabel.Core, DCLabel.Safe |
| label | DCLabel.Core |
| Lattice | DCLabel.Core |
| meet | DCLabel.Core, DCLabel.Safe |
| MkConj | DCLabel.Core |
| MkDCLabel | DCLabel.Core |
| MkDisj | DCLabel.Core |
| MkILabel | DCLabel.Integrity |
| MkLabel | DCLabel.Core |
| MkLabelAll | DCLabel.Core |
| MkPrincipal | DCLabel.Core |
| MkSLabel | DCLabel.Secrecy |
| MkTCBPriv | DCLabel.Core |
| name | DCLabel.Core |
| newDC | DCLabel.NanoEDSL, DCLabel.Safe |
| newPriv | DCLabel.NanoEDSL, DCLabel.Safe |
| newTCBPriv | DCLabel.NanoEDSL, DCLabel.Safe |
| noPriv | DCLabel.Core |
| or_label | DCLabel.Core |
| PrettyShow | DCLabel.PrettyShow |
| prettyShow | DCLabel.PrettyShow |
| Principal | DCLabel.Core |
| principal | DCLabel.Core, DCLabel.Safe |
| Priv | DCLabel.Core, DCLabel.Safe |
| priv | DCLabel.Core |
| pShow | DCLabel.PrettyShow |
| RelaxedLattice | DCLabel.Core |
| rootPrivTCB | DCLabel.Core |
| secrecy | DCLabel.Core, DCLabel.Safe |
| SLabel | DCLabel.Secrecy |
| TCBPriv | DCLabel.Core, DCLabel.Safe |
| ToLNF | DCLabel.Core |
| toLNF | DCLabel.Core |
| top | DCLabel.Core, DCLabel.Safe |