| Unary | |
| 1 (Type/Class) | Cryptol.Prims.Eval |
| 2 (Type/Class) | Cryptol.Symbolic.Prims |
| unary | Cryptol.Prims.Eval |
| 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 |
| UndefinedVariable | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| Underscore | Cryptol.Parser.Lexer |
| 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 | |
| 1 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
| 2 (Data Constructor) | Cryptol.REPL.Command |
| unlessBatch | Cryptol.REPL.Monad |
| unLit | Cryptol.Parser.Unlit |
| unloadModule | Cryptol.ModuleSystem.Monad |
| unModuleT | Cryptol.ModuleSystem.Monad |
| unpackWord | Cryptol.Eval.Value |
| unqual | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| unqualified | Cryptol.ModuleSystem.Interface |
| unREPL | Cryptol.REPL.Monad |
| Unsat | Cryptol.TypeCheck.Solver.CrySAT |
| Unsolvable | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| Unsolved | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| UnsolvedDelcayedCt | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| UnsolvedGoal | 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 |
| updateREPLTitle | Cryptol.REPL.Monad |
| upperBound | Cryptol.TypeCheck.Solver.Interval |
| useAscii | Cryptol.Eval.Value |
| useBase | Cryptol.Eval.Value |
| useInfLength | Cryptol.Eval.Value |
| UserError | Cryptol.Eval.Error, Cryptol.Eval |
| userOptions | Cryptol.REPL.Monad |
| UserTC | |
| 1 (Type/Class) | Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| UserTyFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |