Yes | |
1 (Data Constructor) | Agda.TypeChecking.Coverage.Match |
2 (Data Constructor) | Agda.TypeChecking.Patterns.Match |
YesAbove | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
YesBelow | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
yesMatchLit | Agda.TypeChecking.Coverage.Match |
YesReduction | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
YesSimplification | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
yesSimplification | Agda.TypeChecking.Patterns.Match |
YesType | |
1 (Type/Class) | Agda.TypeChecking.Test.Generators |
2 (Data Constructor) | Agda.TypeChecking.Test.Generators |
YesUnfold | Agda.TypeChecking.MetaVars.Occurs |