Agda.Auto.SearchControl
occursCheck
prioTypeUnknown
prioTypecheckArgList
prioInferredTypeUnknown
prioPreCompare
prioCompare
prioCompareArgList
prioCompIota
prioCompChoice
prioNo