Agda.TypeChecking.InstanceArguments

type Candidates

initialIFSCandidates

initializeIFSMeta

findInScope

findInScope'

checkCandidates

applyDroppingParameters

solveIrrelevantMetas

solveMetaIfIrrelevant