Language.Fixpoint.Horn.SMTParse
hornP :: FParser TagQuery Source #
hCstrP :: FParser (Cstr Tag) Source #
hPredP :: FParser Pred Source #
hQualifierP :: FParser Qualifier Source #
Qualifiers
hVarP :: FParser (Var Tag) Source #
Horn Variables
exprP :: FParser Expr Source #
sortP :: FParser Sort Source #