Agda.Compiler.MAlonzo.Pretty
prettyPrint
prettyWhere
prettyRhs
prettyGuardedRhs
isOperator
prettyQName