Index - W
| weaken | Data.Type.Fin |
| weakenN | Data.Type.Fin |
| Wit | |
| 1 (Type/Class) | Type.Class.Witness |
| 2 (Data Constructor) | Type.Class.Witness |
| Wit1 | |
| 1 (Type/Class) | Type.Class.Witness |
| 2 (Data Constructor) | Type.Class.Witness |
| without | Data.Type.Fin |
| withSome | Data.Type.Quantifier |
| withV | Data.Type.Vector |
| withVT | Data.Type.Vector |
| Witness | Type.Class.Witness |
| WitnessC | Type.Class.Witness |
| witnessed | Type.Class.Witness |