| Ueq | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| uexprReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| unAbs | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| unApplyAt | Language.Fixpoint.SortCheck |
| unconsSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| Une | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| unElab | Language.Fixpoint.SortCheck |
| unFApp | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| ungrad | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| unify | Language.Fixpoint.Solver.Rewrite |
| unifyFast | Language.Fixpoint.SortCheck |
| unifys | Language.Fixpoint.SortCheck |
| unifySorts | Language.Fixpoint.SortCheck |
| unifyTo1 | Language.Fixpoint.SortCheck |
| Uninterp | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| unionIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| unionSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| unionSEnv' | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| uniq | Language.Fixpoint.Horn.Transformations |
| uniquify | Language.Fixpoint.Types.Graduals |
| Unknown | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| unLitSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| Unsafe | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| unsafe | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Unsat | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| unsatCandidates | Language.Fixpoint.Solver.Worklist |
| update | Language.Fixpoint.Types.Solutions, Language.Fixpoint.Solver.Solution |
| updateEbind | Language.Fixpoint.Types.Solutions |
| updateGMap | Language.Fixpoint.Types.Solutions |
| updateGMapWithKey | Language.Fixpoint.Types.Solutions |
| updateWfCExpr | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| upperIdP | Language.Fixpoint.Parse |
| useElim | Language.Fixpoint.Types.Config |
| usymbolReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |