Agda.Auto.SearchControl
Documentation
data ExpRefInfo o
Constructors
ExpRefInfo | |
Fields
|
costIncrease :: Int
costIotaStep :: Int
prioCompBeta :: Int
prioCompIota :: Int
prioCompUnif :: Int
prioCompCopy :: Int
prioNoIota :: Int
Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.Auto.SearchControl
data ExpRefInfo o
Constructors
ExpRefInfo | |
Fields
|
costIncrease :: Int
costIotaStep :: Int
prioCompBeta :: Int
prioCompIota :: Int
prioCompUnif :: Int
prioCompCopy :: Int
prioNoIota :: Int