| Safe Haskell | None |
|---|
PGIP.Output.Formatting
Documentation
internalProverName :: ProverOrConsChecker -> String Source #
showComorph :: AnyComorphism -> String Source #
mkNiceProverName :: String -> String Source #
proversOnly :: [(AnyComorphism, [ProverOrConsChecker])] -> [ProverOrConsChecker] Source #
showProversOnly :: [(AnyComorphism, [String])] -> [String] Source #