Agda.TypeChecking.With

showPat

withFunctionType

buildWithFunction

stripWithClausePatterns

withDisplayForm

patsToTerms