Agda.TypeChecking.Test.Generators
data
TermConfiguration
data
Frequencies
data
TermFreqs
data
NameFreqs
data
HiddenFreqs
data
SortFreqs
defaultFrequencies
noProp
data
UseLiterals
noLiterals
fixSizeConf
resizeConf
decrConf
divConf
isTypeConf
isntTypeConf
extendConf
extendWithTelConf
makeConfiguration
class
GenC
a
data
YesType
a
data
NoType
a
data
VarName
data
DefName
data
ConName
data
SizedList
a
fixSize
genArgs
genConf
class
ShrinkC
a b
killAbs
class
KillVar
a
isWellScoped
prop_wellScopedVars