| Wary | Language.Fixpoint.Misc |
| wenv | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| wexpr | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| WfC | |
| 1 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| wfC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| wfcUniqify | Language.Fixpoint.Solver.UniqifyKVars |
| whenM | Language.Fixpoint.Misc |
| winfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| WithArgs | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| withColor | Language.Fixpoint.Misc |
| withExt | Language.Fixpoint.Utils.Files |
| withPragmas | Language.Fixpoint.Types.Config |
| withProgress | Language.Fixpoint.Utils.Progress |
| wloc | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Worklist | Language.Fixpoint.Solver.Worklist |
| wRanks | Language.Fixpoint.Solver.Worklist |
| wrap | Language.Fixpoint.Misc |
| wrapStars | Language.Fixpoint.Misc |
| wrft | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| writeEdges | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| writeFInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| writeGraph | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| writeLoud | Language.Fixpoint.Misc |
| ws | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |