jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.SMTLIB

Documentation

renameTPTP :: Symbolic a => a -> a Source #

sexp :: [Doc] -> Doc Source #