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