liquidhaskell-0.8.6.0: include/Data/Char.spec

module spec Data.Chare where