Index - W
| wfb | Ermine.Syntax.Kind |
| wfk | Ermine.Syntax.Kind |
| WhereBound | Ermine.Syntax.Term |
| WhereDecl | Ermine.Syntax.Term |
| WherePat | Ermine.Syntax.Term |
| white | Ermine.Pretty |
| width | Ermine.Pretty |
| WildcardP | Ermine.Syntax.Pattern |
| with | Ermine.Core.Lint |
| withMonitor | Ermine.Monitor |
| withServer | Ermine.Monitor |
| withSharing | Ermine.Unification.Sharing |
| withUnicode | Ermine.Console.Unicode |
| Witness | |
| 1 (Type/Class) | Ermine.Inference.Witness |
| 2 (Data Constructor) | Ermine.Inference.Witness |
| witness | Ermine.Inference.Witness |
| witnessCore | Ermine.Inference.Witness |
| witnessRowConstraints | Ermine.Inference.Witness |
| witnessType | Ermine.Inference.Witness |
| writeMeta | Ermine.Unification.Meta |