Index - .
| .&&. | |
| 1 (Function) | Agda.Utils.QuickCheck |
| 2 (Function) | Agda.Syntax.Parser.Alex |
| .&. | Agda.Utils.QuickCheck |
| .*. | Agda.Termination.Order |
| .--> | Agda.TypeChecking.Primitive |
| ..--> | Agda.TypeChecking.Primitive |
| .= | Agda.Utils.Lens |
| .||. | |
| 1 (Function) | Agda.Utils.QuickCheck |
| 2 (Function) | Agda.Syntax.Parser.Alex |