Agda.Auto.SearchControl
data ExpRefInfo o
univar
subsvars
costAppExtraRef
costIncrease
costIotaStep
prioTypeUnknown
prioTypecheckArgList
prioInferredTypeUnknown
prioCompBeta
prioCompBetaStructured
prioCompareArgList
prioCompIota
prioCompChoice
prioCompUnif
prioCompCopy
prioNoIota
prioAbsurdLambda
prioNo