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