Agda.Auto.SearchControl
data ExpRefInfo o
getinfo
univar
subsvars
extraref
costIotaStep
costIncrease
costAppExtraRef
costUnificationOccurs
costUnification
costAppVar
costAppVarUsed
costAppHint
costAppHintUsed
costAppRecCall
costAppRecCallUsed
costAppConstructor
costAppConstructorSingle
costLam
costLamUnfold
costPi
costSort
costInferredTypeUnkown
costAbsurdLam
costEqStep
costEqEnd
costEqSym
costEqCong
prioNo
prioAbsurdLambda
prioNoIota
prioCompCopy
prioCompUnif
prioCompChoice
prioCompIota
prioCompareArgList
prioCompBetaStructured
prioCompBeta
prioInferredTypeUnknown
prioTypecheckArgList
prioTypeUnknown
prioTypecheck
prioProjIndex