-- | Define the declassification policies for the module "Example". 
module Downgrade
       (
           match 
       ) 

where

import SecLib.Trustworthy 
import SecLib.LatticeLH

match :: IO (Sec H (String, String) -> SecIO s (Sec L Bool))
match = do ntimes 1 $ hatch $ (\(passwd, input) -> passwd == input)