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

(!!!)