dclabel-eci11-0.1: DCLabel/Lattice.hs

module DCLabel.Lattice where
  
class Ord a => Lattice a where 
  top :: a 
  bottom :: a 
  canflowto :: a -> a -> Bool
  join :: a -> a -> a 
  meet :: a -> a -> a