Agda.TypeChecking.InstanceArguments

type Candidate

type Candidates

initialIFSCandidates

initializeIFSMeta

findInScope

findInScope'

rigidlyConstrainedMetas

checkCandidates

applyDroppingParameters