Agda.Auto.SearchControl

data ExpRefInfo o

univar

subsvars

costAppExtraRef

costIncrease

costIotaStep

prioTypeUnknown

prioTypecheckArgList

prioInferredTypeUnknown

prioCompBeta

prioCompBetaStructured

prioCompareArgList

prioCompIota

prioCompChoice

prioCompUnif

prioCompCopy

prioNoIota

prioAbsurdLambda

prioNo