liquidhaskell-0.2.0.0: include/GHC/Read.spec
module spec GHC.Read where
type ParsedString XS = {v:_ | (if ((len XS) > 0) then ((len v) < (len XS)) else ((len v) = 0))}
GHC.Read.lex :: xs:_ -> [((ParsedString xs), (ParsedString xs))]
module spec GHC.Read where
type ParsedString XS = {v:_ | (if ((len XS) > 0) then ((len v) < (len XS)) else ((len v) = 0))}
GHC.Read.lex :: xs:_ -> [((ParsedString xs), (ParsedString xs))]