Language.Haskell.Liquid.Parse
hsSpecificationP
specSpecificationP
singleSpecP
type BPspec
data Pspec ty ctor
parseSymbolToLogic