Agda.TypeChecking.With

withFunctionType

buildWithFunction

stripWithClausePatterns

withDisplayForm

patsToTerms

data ConPos

updateWithConstructorRanges

constructorsInClauses

constructorsInClause