Agda.Compiler.MAlonzo.Pretty

prettyPrint

prettyWhere

prettyRhs

prettyGuardedRhs

isOperator

prettyQName