| Backend | Cryptol.Backend, Cryptol.Eval.Value |
| BackTick | Cryptol.Parser.Lexer |
| backticks | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| BadApplication | Cryptol.TypeCheck.Sanity |
| BadInstantiation | Cryptol.TypeCheck.Sanity |
| BadMatch | Cryptol.TypeCheck.Sanity |
| 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.Lexer |
| barrelShifter | Cryptol.Eval.Generic |
| bDef | Cryptol.Parser.AST |
| bDoc | 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 |
| bigNatToInteger | Cryptol.PrimeEC |
| 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.NamingEnv, Cryptol.ModuleSystem.Renamer |
| bindType | Cryptol.Eval.Env |
| bindVar | |
| 1 (Function) | Cryptol.TypeCheck.Unify |
| 2 (Function) | Cryptol.Eval.Env |
| bindVarDirect | Cryptol.Eval.Env |
| bInfix | Cryptol.Parser.AST |
| BinFrac | Cryptol.Parser.AST |
| BinLit | Cryptol.Parser.AST |
| BinWord | Cryptol.Eval.Generic |
| 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 |
| bitLessThan | Cryptol.Eval.Generic |
| bitLit | Cryptol.Backend, Cryptol.Eval.Value |
| bitOr | Cryptol.Backend, Cryptol.Eval.Value |
| bitsValueLessThan | Cryptol.Eval.Generic |
| bitXor | Cryptol.Backend, Cryptol.Eval.Value |
| blackhole | Cryptol.Backend.Monad |
| BlockComment | Cryptol.Parser.Lexer |
| bMono | Cryptol.Parser.AST |
| bName | Cryptol.Parser.AST |
| boundLNames | Cryptol.Parser.Names |
| boundNames | Cryptol.Parser.Names |
| boundNamesSet | Cryptol.Parser.Names |
| BoundReservedType | Cryptol.ModuleSystem.Renamer |
| bParams | Cryptol.Parser.AST |
| bPragmas | Cryptol.Parser.AST |
| braces | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| BracketL | Cryptol.Parser.Lexer |
| BracketR | Cryptol.Parser.Lexer |
| brackets | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| bSignature | Cryptol.Parser.AST |
| BuildNamingEnv | |
| 1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv |
| 2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv |
| 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 |