Language.Fixpoint.PrettyPrint

class PPrint a

showpp

trueD

falseD

andD

orD

pprintBin