Agda.Auto.SearchControl

data ExpRefInfo o

getinfo

univar

subsvars

extraref

costIotaStep

costIncrease

costAppExtraRef

costUnificationOccurs

costUnification

costAppVar

costAppVarUsed

costAppHint

costAppHintUsed

costAppRecCall

costAppRecCallUsed

costAppConstructor

costAppConstructorSingle

costLam

costLamUnfold

costPi

costSort

costInferredTypeUnkown

costAbsurdLam

costEqStep

costEqEnd

costEqSym

costEqCong

prioNo

prioAbsurdLambda

prioNoIota

prioCompCopy

prioCompUnif

prioCompChoice

prioCompIota

prioCompareArgList

prioCompBetaStructured

prioCompBeta

prioInferredTypeUnknown

prioTypecheckArgList

prioTypeUnknown

prioTypecheck

prioProjIndex