This module exports the safe subset of the LIO.LIORef.TCB module. It is important that untrusted code be limited to this subset; information flow can easily be violated if the TCB functions are exported.
Documentation
module LIO.LIORef.TCB
This module exports the safe subset of the LIO.LIORef.TCB module. It is important that untrusted code be limited to this subset; information flow can easily be violated if the TCB functions are exported.
module LIO.LIORef.TCB