#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)
#endif
module DCLabel.Safe (
join, meet, top, bottom, canflowto
, Component(..), DCLabel(..), Disj(..), Conj(..)
, Principal, principal, name, singleton
, listToDisj, disjToList
, listToComponent, componentToList
, (.\/.), (./\.)
, (<>), (><)
, newDC
, TCBPriv, priv, Priv
, canflowto_p
, delegatePriv
, canDelegate, owns
, newPriv, NewPriv, newTCBPriv, noPriv
) where
import DCLabel.Core
#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)
import safe DCLabel.NanoEDSL
#else
import DCLabel.NanoEDSL
#endif