| w4 | Cryptol.Backend.What4 |
| w4And | Cryptol.Backend.What4 |
| w4bvAshr | Cryptol.Backend.What4 |
| w4bvLshr | Cryptol.Backend.What4 |
| w4bvRol | Cryptol.Backend.What4 |
| w4bvRor | Cryptol.Backend.What4 |
| w4bvShl | Cryptol.Backend.What4 |
| W4Conn | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| w4defs | Cryptol.Backend.What4 |
| W4Error | Cryptol.Backend.What4 |
| W4Eval | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| w4Eval | Cryptol.Backend.What4 |
| W4Ex | Cryptol.Symbolic.What4 |
| W4Exception | |
| 1 (Type/Class) | Cryptol.Symbolic.What4 |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| w4funs | Cryptol.Backend.What4 |
| w4ITE | Cryptol.Backend.What4 |
| w4Not | Cryptol.Backend.What4 |
| W4PortfolioFailure | Cryptol.Symbolic.What4 |
| W4ProverConfig | Cryptol.Symbolic.What4 |
| W4Result | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| w4Thunk | Cryptol.Backend.What4 |
| w4uninterpWarns | Cryptol.Backend.What4 |
| warn | Cryptol.ModuleSystem.Monad |
| Warning | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| warnUnused | Cryptol.ModuleSystem.Renamer.Monad |
| What4 | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| What4FunCache | Cryptol.Backend.What4 |
| whenDebug | Cryptol.REPL.Monad |
| White | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| widthIdent | Cryptol.Parser.Utils |
| widthInteger | Cryptol.TypeCheck.Solver.InfNat |
| withCallStack | Cryptol.Backend.Monad |
| withDeclGroups | Cryptol.Transform.Specialize |
| withLoc | Cryptol.ModuleSystem.Renamer.Monad |
| withLogger | Cryptol.ModuleSystem.Monad |
| withMonoType | Cryptol.TypeCheck.Monad |
| withMonoTypes | Cryptol.TypeCheck.Monad |
| withNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| WithNames | |
| 1 (Type/Class) | Cryptol.TypeCheck.PP, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.PP, Cryptol.TypeCheck |
| without | Cryptol.ModuleSystem.NamingEnv |
| withPPCfg | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| withPrependedSearchPath | Cryptol.ModuleSystem.Monad |
| withRandomGen | Cryptol.REPL.Monad |
| withRWTempFile | Cryptol.REPL.Command |
| withSolver | Cryptol.TypeCheck.Solver.SMT |
| WithSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| withTParam | Cryptol.TypeCheck.Monad |
| withTParams | Cryptol.TypeCheck.Monad |
| withVar | Cryptol.TypeCheck.Monad |
| withVarType | Cryptol.TypeCheck.Monad |
| withVarTypes | Cryptol.TypeCheck.Monad |
| word | Cryptol.Eval.Value |
| wordAnd | Cryptol.Backend, Cryptol.Eval.Value |
| wordAsChar | Cryptol.Backend, Cryptol.Eval.Value |
| wordAsLit | Cryptol.Backend, Cryptol.Eval.Value |
| wordBit | Cryptol.Backend, Cryptol.Eval.Value |
| wordComplement | Cryptol.Backend, Cryptol.Eval.Value |
| wordDiv | Cryptol.Backend, Cryptol.Eval.Value |
| wordEq | Cryptol.Backend, Cryptol.Eval.Value |
| wordFromInt | Cryptol.Backend, Cryptol.Eval.Value |
| wordGreaterThan | Cryptol.Backend, Cryptol.Eval.Value |
| WordIndexSegment | Cryptol.Backend.SeqMap |
| wordLen | Cryptol.Backend, Cryptol.Eval.Value |
| wordLessThan | Cryptol.Backend, Cryptol.Eval.Value |
| wordLg2 | Cryptol.Backend, Cryptol.Eval.Value |
| wordLit | Cryptol.Backend, Cryptol.Eval.Value |
| wordMinus | Cryptol.Backend, Cryptol.Eval.Value |
| wordMod | Cryptol.Backend, Cryptol.Eval.Value |
| wordMult | Cryptol.Backend, Cryptol.Eval.Value |
| wordNegate | Cryptol.Backend, Cryptol.Eval.Value |
| wordOr | Cryptol.Backend, Cryptol.Eval.Value |
| wordPlus | Cryptol.Backend, Cryptol.Eval.Value |
| wordRotateLeft | Cryptol.Backend, Cryptol.Eval.Value |
| wordRotateRight | Cryptol.Backend, Cryptol.Eval.Value |
| wordShifter | Cryptol.Eval.Generic |
| wordShiftLeft | Cryptol.Backend, Cryptol.Eval.Value |
| wordShiftRight | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedDiv | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedLessThan | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedMod | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedShiftRight | Cryptol.Backend, Cryptol.Eval.Value |
| wordToInt | Cryptol.Backend, Cryptol.Eval.Value |
| WordTooWide | |
| 1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval |
| 2 (Data Constructor) | Cryptol.Backend.Monad, Cryptol.Eval |
| wordTooWide | Cryptol.Backend.Monad |
| wordToSignedInt | Cryptol.Backend, Cryptol.Eval.Value |
| wordUpdate | Cryptol.Backend, Cryptol.Eval.Value |
| wordVal | Cryptol.Backend.WordValue |
| wordValAsLit | Cryptol.Backend.WordValue |
| wordValLogicOp | Cryptol.Backend.WordValue |
| WordValue | Cryptol.Backend.WordValue |
| wordValueEqualsInteger | Cryptol.Backend.WordValue |
| wordValueSize | Cryptol.Backend.WordValue |
| wordValUnaryOp | Cryptol.Backend.WordValue |
| wordXor | Cryptol.Backend, Cryptol.Eval.Value |
| WrongNamespace | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |