Agda.TypeChecking.InstanceArguments
type Candidate
type Candidates
initialIFSCandidates
initializeIFSMeta
findInScope
findInScope'
rigidlyConstrainedMetas
checkCandidates
applyDroppingParameters