| 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 |
| What4 | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| What4FunCache | Cryptol.Backend.What4 |
| whenDebug | Cryptol.REPL.Monad |
| White | Cryptol.Parser.Lexer |
| widthIdent | Cryptol.Parser.Utils |
| widthInteger | Cryptol.TypeCheck.Solver.InfNat |
| withCallStack | Cryptol.Backend.Monad |
| withDeclGroups | Cryptol.Transform.Specialize |
| withDecls | Cryptol.TypeCheck.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 |
| withNewtype | Cryptol.TypeCheck.Monad |
| withParameterConstraints | Cryptol.TypeCheck.Monad |
| withParamFuns | Cryptol.TypeCheck.Monad |
| withParamType | Cryptol.TypeCheck.Monad |
| withPrependedSearchPath | Cryptol.ModuleSystem.Monad |
| withPrimType | Cryptol.TypeCheck.Monad |
| withSolver | Cryptol.TypeCheck.Solver.SMT |
| WithSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| withTParam | Cryptol.TypeCheck.Monad |
| withTParams | Cryptol.TypeCheck.Monad |
| withTySyn | 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 |
| 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 |
| wordShifter | Cryptol.Eval.Generic |
| wordSignedDiv | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedLessThan | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedMod | 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 |
| wordUpdate | Cryptol.Backend, Cryptol.Eval.Value |
| WordVal | Cryptol.Eval.Value |
| wordValLogicOp | Cryptol.Eval.Generic |
| WordValue | Cryptol.Eval.Value |
| wordValueSize | Cryptol.Eval.Value |
| wordValUnaryOp | Cryptol.Eval.Generic |
| wordXor | Cryptol.Backend, Cryptol.Eval.Value |