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
Useful aliases for the LIO Monad
Runs a computation in the LIO Monad, returning both the computation's result and the label of the result.