| Safe Haskell | Safe-Infered |
|---|
DCLabel.TCB
Description
This module exports an unsafe-subset of DCLabel.Core, implementing Disjunction Category Labels. A subset of the exported functions and constructors shoul not be exposed to untrusted code; instead, untursted code should import the DCLabel.Safe module.