Index - W
| Witness | Math.FiniteField.Class |
| WitnessC | |
| 1 (Type/Class) | Math.FiniteField.GaloisField.Zech.C |
| 2 (Data Constructor) | Math.FiniteField.GaloisField.Zech.C |
| WitnessFp | |
| 1 (Type/Class) | Math.FiniteField.PrimeField.Small |
| 2 (Data Constructor) | Math.FiniteField.PrimeField.Small |
| 3 (Type/Class) | Math.FiniteField.PrimeField.Generic |
| 4 (Data Constructor) | Math.FiniteField.PrimeField.Generic |
| 5 (Data Constructor) | Math.FiniteField.GaloisField.Small |
| WitnessFq | Math.FiniteField.GaloisField.Small |
| WitnessGF | Math.FiniteField.GaloisField.Small |
| witnessOf | Math.FiniteField.Class |
| WitnessZech | |
| 1 (Type/Class) | Math.FiniteField.GaloisField.Zech |
| 2 (Data Constructor) | Math.FiniteField.GaloisField.Zech |