Documentation

debugNoteLoc :: Bool Source #

debugNoteSummary :: Bool Source #

debugRevealForalls :: Bool Source #

renderTermMaxLength :: Int Source #

demoHideVarNumber :: Bool Source #

removePureEffects :: Bool Source #

cleanupTypes :: Bool Source #