649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksa{-# LANGUAGE DeriveDataTypeable #-}
649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksa-- | sublogic
649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksadata HolLightSL = Top deriving (Show, Eq, Ord, Typeable)