liquidhaskell-0.8.6.0: include/Data/Time.spec

module spec Data.Time where

import Data.Time.Calendar