Agda.TypeChecking.With

splitTelForWith

withFunctionType

countWithArgs

withArguments

buildWithFunction

stripWithClausePatterns

withDisplayForm

patsToElims