Index - W
| wdiv | Data.Number.MPFR, Data.Number.Dyadic |
| wdiv_ | Data.Number.MPFR, Data.Number.Dyadic |
| width | |
| 1 (Function) | Data.Number.Ball |
| 2 (Function) | Data.Number.DyadicInterval |
| wpow | Data.Number.MPFR, Data.Number.Dyadic |
| wpoww | Data.Number.MPFR, Data.Number.Dyadic |
| wpoww_ | Data.Number.MPFR, Data.Number.Dyadic |
| wpow_ | Data.Number.MPFR, Data.Number.Dyadic |
| wsub | Data.Number.MPFR, Data.Number.Dyadic |
| wsub_ | Data.Number.MPFR, Data.Number.Dyadic |