horname-0.2.0.0: Rename function definitions returned by SMT solvers
Horname.Internal.SMT.Pretty
dontIndent :: [Text] Source #
ppSExpr :: SExpr -> Doc Source #
ppSort :: Sort -> Doc Source #
ppVarName :: VarName -> Doc Source #
ppArg :: Arg -> Doc Source #
ppDefineFun :: DefineFun -> Doc Source #