Safe Haskell | Trustworthy |
---|
This module provides bindings for the DCLabel
module, with some
renaming to resolve name clashes. The delegation of privilege and
other trusted code is not exported by this module and code wishing to
use this should import DCLabel.TCB
.