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