| Backend | Cryptol.Backend, Cryptol.Eval.Value |
| BackTick | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| backticks | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| BadApplication | Cryptol.TypeCheck.Sanity |
| BadBacktickInstance | Cryptol.TypeCheck.Error |
| BadInstantiation | Cryptol.TypeCheck.Sanity |
| BadMatch | Cryptol.TypeCheck.Sanity |
| BadParameterKind | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| BadProofNoAbs | Cryptol.TypeCheck.Sanity |
| BadProofTyVars | Cryptol.TypeCheck.Sanity |
| BadRoundingMode | Cryptol.Backend.Monad, Cryptol.Eval |
| BadSelector | Cryptol.TypeCheck.Sanity |
| BadTypeApplication | Cryptol.TypeCheck.Sanity |
| BadUtf8 | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| badUtf8 | Cryptol.ModuleSystem.Monad |
| BadValue | Cryptol.Backend.Monad, Cryptol.Eval |
| Bar | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| BareTypeApp | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| barrelShifter | Cryptol.Backend.SeqMap |
| bDef | Cryptol.Parser.AST |
| bDoc | Cryptol.Parser.AST |
| benchAvgCpuTime | Cryptol.Utils.Benchmark |
| benchAvgCycles | Cryptol.Utils.Benchmark |
| benchAvgTime | Cryptol.Utils.Benchmark |
| benchmark | Cryptol.Utils.Benchmark |
| benchmarkExpr | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| BenchmarkStats | |
| 1 (Type/Class) | Cryptol.Utils.Benchmark |
| 2 (Data Constructor) | Cryptol.Utils.Benchmark |
| bExport | Cryptol.Parser.AST |
| BF | |
| 1 (Type/Class) | Cryptol.Backend.FloatHelpers |
| 2 (Data Constructor) | Cryptol.Backend.FloatHelpers |
| bfExpWidth | Cryptol.Backend.FloatHelpers |
| bFixity | Cryptol.Parser.AST |
| bfPrecWidth | Cryptol.Backend.FloatHelpers |
| bfValue | Cryptol.Backend.FloatHelpers |
| BIAbstractType | Cryptol.TypeCheck.Error |
| BIForeign | Cryptol.TypeCheck.Error |
| BIFunctor | Cryptol.TypeCheck.Error |
| bigNatToInteger | Cryptol.PrimeEC |
| BIInterface | Cryptol.TypeCheck.Error |
| BIMultipleParams | Cryptol.TypeCheck.Error |
| Binary | Cryptol.Eval.Generic |
| binary | Cryptol.Eval.Generic |
| binBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| Bind | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| BindDef | Cryptol.Parser.AST |
| BindsNames | Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer |
| bindType | Cryptol.Eval.Env |
| bindTypeVar | Cryptol.Eval.Type |
| bindVar | |
| 1 (Function) | Cryptol.TypeCheck.Unify |
| 2 (Function) | Cryptol.Eval.Env |
| bindVarDirect | Cryptol.Eval.Env |
| BINested | Cryptol.TypeCheck.Error |
| bInfix | Cryptol.Parser.AST |
| BinFrac | Cryptol.Parser.AST |
| BinLit | Cryptol.Parser.AST |
| BinWord | Cryptol.Eval.Generic |
| BIPolymorphicArgument | Cryptol.TypeCheck.Error |
| BIPrimitive | Cryptol.TypeCheck.Error |
| bitAnd | Cryptol.Backend, Cryptol.Eval.Value |
| bitAsLit | Cryptol.Backend, Cryptol.Eval.Value |
| bitComplement | Cryptol.Backend, Cryptol.Eval.Value |
| bitEq | Cryptol.Backend, Cryptol.Eval.Value |
| bitGreaterThan | Cryptol.Eval.Generic |
| BitIndexSegment | Cryptol.Backend.SeqMap |
| bitLessThan | Cryptol.Eval.Generic |
| bitLit | Cryptol.Backend, Cryptol.Eval.Value |
| bitmapWordVal | Cryptol.Backend.WordValue |
| bitOr | Cryptol.Backend, Cryptol.Eval.Value |
| bitXor | Cryptol.Backend, Cryptol.Eval.Value |
| BIWhat | Cryptol.TypeCheck.Error |
| blackhole | Cryptol.Backend.Monad |
| Block | Cryptol.Parser.Layout |
| BlockComment | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| bMono | Cryptol.Parser.AST |
| bName | Cryptol.Parser.AST |
| boundNames | Cryptol.Parser.Names |
| boundNamesSet | Cryptol.Parser.Names |
| bParams | Cryptol.Parser.AST |
| bPragmas | Cryptol.Parser.AST |
| braces | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| BracketL | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| BracketR | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| brackets | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| BrowseExported | Cryptol.REPL.Browse |
| BrowseHow | Cryptol.REPL.Browse |
| BrowseInScope | Cryptol.REPL.Browse |
| browseModContext | Cryptol.REPL.Browse |
| bSignature | Cryptol.Parser.AST |
| builtInType | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| bumpCounter | Cryptol.TypeCheck.Monad |
| BV | |
| 1 (Type/Class) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| 2 (Data Constructor) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| bvVal | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |