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