Language.Fixpoint.Types.PrettyPrint

traceFix

class Fixpoint a

showFix

data Tidy

class PPrint a

pprint

showpp

tracepp

pprintKVs

data DocTable

class PTable a

boxHSep

boxDoc

docBox