Agda.Compiler.Epic.Injection
findInjection
replaceFunCC
type InjConstraints
isInjective
remAbs
isNoBody
patternToTerm
nrBinds
substForDot
isInjectiveHere
litToCon
litCon
insertAt
solve
emptyC
addConstraint
unionConstraints
(<:)
data TagEq
data Tags
initialTags
unify
setTag
mergeGroups
unifiable
(!!!)