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