Agda.TypeChecking.InstanceArguments
initialIFSCandidates
initializeIFSMeta
findInScope
findInScope'
getMetaTypeInContext
checkCandidates
applyDroppingParameters
solveIrrelevantMetas
solveMetaIfIrrelevant