Agda.TypeChecking.Test.Generators

data TermConfiguration

data Frequencies

data TermFreqs

data ElimFreqs

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 ProjName

data SizedList a

fixSize

genArgs

genElims

genConf

class ShrinkC a b

killAbs

class KillVar a

isWellScoped

prop_wellScopedVars