module SME.Untrustworthy 
       (
        -- Lattices in general  
        Lattice (), 
        FiniteLattice (), 
        less, 
        sless, 
        -- Two point lattice (low and high) 
        Level (),
        -- Security policy 
        Policy (),
        -- Secure Multi-Execution monad
        ME (), 
        readFile, 
        writeFile, 
        sme,
        -- Secure Multi-Execution for the two point lattice (low and high) 
        sme'
       )
where

import Prelude hiding (readFile, writeFile)
import SME.Trustworthy