Agda.TypeChecking.With
withFunctionType
buildWithFunction
stripWithClausePatterns
withDisplayForm
patsToTerms
data
ConPos
updateWithConstructorRanges
constructorsInClauses
constructorsInClause