| Unary | Cryptol.Prims.Eval |
| unary | Cryptol.Prims.Eval |
| UnaryArith | Cryptol.Prims.Eval |
| unaryBV | Cryptol.Eval.Value |
| UnboundExpr | Cryptol.ModuleSystem.Renamer |
| UnboundType | Cryptol.ModuleSystem.Renamer |
| UndefinedTypeParam | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| UndefinedTypeSynonym | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| UndefinedTypeVaraible | Cryptol.TypeCheck.Sanity |
| UndefinedVariable | |
| 1 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.Sanity |
| Underscore | Cryptol.Parser.Lexer |
| UnexpectedRecordShape | Cryptol.TypeCheck.Sanity |
| UnexpectedSequenceShape | Cryptol.TypeCheck.Sanity |
| UnexpectedTupleShape | Cryptol.TypeCheck.Sanity |
| UnexpectedTypeWildCard | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| unFinType | Cryptol.Symbolic |
| uniError | Cryptol.TypeCheck.Unify |
| UnificationError | Cryptol.TypeCheck.Unify |
| unify | Cryptol.TypeCheck.Monad |
| UniKindMismatch | Cryptol.TypeCheck.Unify |
| unIM | Cryptol.TypeCheck.Monad |
| UniNonPoly | Cryptol.TypeCheck.Unify |
| UniNonPolyDepends | Cryptol.TypeCheck.Unify |
| unionTM | Cryptol.TypeCheck.TypeMap |
| uniqify | Cryptol.REPL.Monad |
| UniRecursive | Cryptol.TypeCheck.Unify |
| UniTypeLenMismatch | Cryptol.TypeCheck.Unify |
| UniTypeMismatch | Cryptol.TypeCheck.Unify |
| unKM | Cryptol.TypeCheck.Monad |
| Unknown | Cryptol.REPL.Command |
| unlessBatch | Cryptol.REPL.Monad |
| unLit | Cryptol.Parser.Unlit |
| unloadModule | Cryptol.ModuleSystem.Monad |
| unModuleT | Cryptol.ModuleSystem.Monad |
| unpackIdent | Cryptol.Utils.Ident |
| unpackModName | Cryptol.Utils.Ident |
| unpackWord | Cryptol.Eval.Value |
| UnQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| UnQualified | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| unqualifiedEnv | Cryptol.ModuleSystem.NamingEnv |
| unREPL | Cryptol.REPL.Monad |
| Unsolvable | Cryptol.TypeCheck.Solver.Types |
| Unsolved | Cryptol.TypeCheck.Solver.Types |
| UnsolvedDelayedCt | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| UnsolvedGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| UnterminatedChar | Cryptol.Parser.Lexer |
| UnterminatedComment | Cryptol.Parser.Lexer |
| UnterminatedString | Cryptol.Parser.Lexer |
| UnusableFunction | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| updateBack | Cryptol.Prims.Eval |
| updateBackSym | Cryptol.Symbolic.Prims |
| updateBackSym_bits | Cryptol.Symbolic.Prims |
| updateBack_bits | Cryptol.Prims.Eval |
| updateFront | Cryptol.Prims.Eval |
| updateFrontSym | Cryptol.Symbolic.Prims |
| updateFrontSym_bits | Cryptol.Symbolic.Prims |
| updateFront_bits | Cryptol.Prims.Eval |
| updateInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| updatePrim | Cryptol.Prims.Eval |
| updateREPLTitle | Cryptol.REPL.Monad |
| UpdateSeqMap | Cryptol.Eval.Value |
| updateSeqMap | Cryptol.Eval.Value |
| useAscii | Cryptol.Eval.Value |
| useBase | Cryptol.Eval.Value |
| useInfLength | Cryptol.Eval.Value |
| UserError | Cryptol.Eval.Monad, Cryptol.Eval |
| UserName | Cryptol.TypeCheck.Solver.Numeric.AST |
| userOptions | Cryptol.REPL.Monad |
| UserTC | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| UserTyFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |