Jukebox.TPTP.Print

prettyShow

chattyShow

prettyFormula

prettyProblem

data Level

class Pretty a