-- | Define the declassification policies for the module "Example". module Downgrade ( match ) where import Trustworthy import LatticeLH match :: IO (Hatch H L (String, String) Bool) match = ntimes 1 $ hatch $ (\(passwd, input) -> passwd == input)