Agda-2.2.10: A dependently typed functional programming language and proof assistant
Agda.Auto.SearchControl
data ExpRefInfo o Source
Constructors
Fields
univar :: [CAction o] -> Nat -> Maybe NatSource
subsvars :: [CAction o] -> [Nat]Source
costAppExtraRef :: IntSource
costIncrease :: IntSource
costIotaStep :: IntSource
prioTypeUnknown :: IntSource
prioTypecheckArgList :: IntSource
prioInferredTypeUnknown :: IntSource
prioCompBeta :: IntSource
prioCompBetaStructured :: IntSource
prioCompareArgList :: IntSource
prioCompIota :: IntSource
prioCompChoice :: IntSource
prioCompUnif :: IntSource
prioCompCopy :: IntSource
prioNoIota :: IntSource
prioAbsurdLambda :: IntSource
prioNo :: IntSource