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