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

where

import SecLib.Trustworthy 
import SecLib.LatticeLH

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