| w4And | Cryptol.Eval.What4.Value |
| w4bvAshr | Cryptol.Eval.What4.Value |
| w4bvLshr | Cryptol.Eval.What4.Value |
| w4bvRol | Cryptol.Eval.What4.Value |
| w4bvRor | Cryptol.Eval.What4.Value |
| w4bvShl | Cryptol.Eval.What4.Value |
| W4Conn | |
| 1 (Type/Class) | Cryptol.Eval.What4.Value |
| 2 (Data Constructor) | Cryptol.Eval.What4.Value |
| W4Defs | |
| 1 (Type/Class) | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| 2 (Data Constructor) | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| w4Defs | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| W4Error | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| W4Eval | |
| 1 (Type/Class) | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| 2 (Data Constructor) | Cryptol.Eval.What4.Value |
| w4Eval | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| W4Ex | Cryptol.Symbolic.What4 |
| W4Exception | |
| 1 (Type/Class) | Cryptol.Symbolic.What4 |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| w4ITE | Cryptol.Eval.What4.Value |
| w4Not | Cryptol.Eval.What4.Value |
| W4PortfolioFailure | Cryptol.Symbolic.What4 |
| W4ProverConfig | Cryptol.Symbolic.What4 |
| W4Result | |
| 1 (Type/Class) | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| 2 (Data Constructor) | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| w4Result | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| w4Thunk | Cryptol.Eval.What4.Value |
| warn | Cryptol.ModuleSystem.Monad |
| Warning | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| What4 | |
| 1 (Type/Class) | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| 2 (Data Constructor) | Cryptol.Eval.What4.Value, Cryptol.Eval.What4 |
| whenDebug | Cryptol.REPL.Monad |
| White | Cryptol.Parser.Lexer |
| widthIdent | Cryptol.Parser.Utils |
| widthInteger | Cryptol.TypeCheck.Solver.InfNat |
| 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 |
| 2 (Data Constructor) | Cryptol.TypeCheck.PP |
| 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 |
| withTParam | Cryptol.TypeCheck.Monad |
| withTParams | Cryptol.TypeCheck.Monad |
| withTySyn | Cryptol.TypeCheck.Monad |
| withVar | Cryptol.TypeCheck.Monad |
| withVarType | Cryptol.TypeCheck.Monad |
| withVarTypes | Cryptol.TypeCheck.Monad |
| wlam | Cryptol.Eval.Value |
| word | Cryptol.Eval.Value |
| wordAnd | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordAsChar | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordAsLit | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordBit | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordComplement | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordDiv | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordEq | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordFromInt | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordGreaterThan | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordLen | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordLessThan | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordLg2 | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordLit | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordMinus | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordMod | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordMult | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordNegate | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordOr | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordPlus | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordShifter | Cryptol.Eval.Generic |
| wordSignedDiv | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordSignedLessThan | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordSignedMod | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| wordToInt | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| WordTooWide | Cryptol.Eval.Monad, Cryptol.Eval |
| wordTooWide | Cryptol.Eval.Monad |
| wordUpdate | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| WordVal | Cryptol.Eval.Value |
| wordValLogicOp | Cryptol.Eval.Generic |
| WordValue | Cryptol.Eval.Value |
| wordValueEqualsInteger | Cryptol.Eval.What4.Value |
| wordValueSize | Cryptol.Eval.Value |
| wordValUnaryOp | Cryptol.Eval.Generic |
| wordXor | Cryptol.Eval.Backend, Cryptol.Eval.Value |