Agda.TypeChecking.InstanceArguments

initialIFSCandidates

initializeIFSMeta

findInScope

findInScope'

getMetaTypeInContext

checkCandidates

applyDroppingParameters

solveIrrelevantMetas

solveMetaIfIrrelevant