This module provides a pretty printer for the SMT-LIB language (v2.6).
Author: Jan Tikovsky
Version: August 2021
parent
:: [Doc] -> Doc Pretty print the given documents separated with spaces and parenthesized |
showSMT
:: [Command] -> String Show an SMT-LIB script |
ppBool
:: Bool -> Doc Pretty printing of booleans |
ppCmd
:: Command -> [Doc] Pretty printing of SMT-LIB commands. |
ppValPair
:: (Term,Term) -> Doc |
Pretty printing of booleans
|