Agda.Compiler.Epic.Injection
findInjection
replaceFunCC
type InjConstraints
isInjective
patternToTerm
nrBinds
substForDot
isInjectiveHere
litToCon
litInt
insertAt
solve
emptyC
addConstraint
unionConstraints
class Injectible a
data TagEq
data Tags
initialTags
unify
setTag
mergeGroups
unifiable
(!!!!)