Agda.Auto.SearchControl
data ExpRefInfo o
initExpRefInfo
getinfo
univar
subsvars
type Move o
newAbs
newLam
newPi
foldArgs
newArgs'
newArgs
newApp'
newApp
eqStep
eqEnd
eqCong
eqSym
eqBeginStep2
pickUid
extraref
costIncrease
costUnificationOccurs
costUnification
costAppVar
costAppVarUsed
costAppHint
costAppHintUsed
costAppRecCall
costAppRecCallUsed
costAppConstructor
costAppConstructorSingle
costAppExtraRef
costLam
costLamUnfold
costPi
costSort
costIotaStep
costInferredTypeUnkown
costAbsurdLam
costUnificationIf
costEqStep
costEqEnd
costEqSym
costEqCong
prioNo
prioTypeUnknown
prioTypecheckArgList
prioInferredTypeUnknown
prioCompBeta
prioCompBetaStructured
prioCompareArgList
prioCompIota
prioCompChoice
prioCompUnif
prioCompCopy
prioNoIota
prioAbsurdLambda
prioProjIndex
prioTypecheck