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