Id | Agda.Unused.Types.Name |
InternalError | Agda.Unused.Monad.Error |
isBuiltin | Agda.Unused.Types.Name |
Item | Agda.Unused.Types.Context |
item | Agda.Unused.Types.Context |
itemConstructor | Agda.Unused.Types.Context |
itemPattern | Agda.Unused.Types.Context |
Id | Agda.Unused.Types.Name |
InternalError | Agda.Unused.Monad.Error |
isBuiltin | Agda.Unused.Types.Name |
Item | Agda.Unused.Types.Context |
item | Agda.Unused.Types.Context |
itemConstructor | Agda.Unused.Types.Context |
itemPattern | Agda.Unused.Types.Context |