Index - U
| UnificationError | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Type/Class) | Recalc.Syntax.Unify |
| 3 (Data Constructor) | Recalc.Language |
| unificationErrorAnnotation | Recalc.Syntax.Unify |
| unify | Recalc.Syntax.Unify |
| UnifyMismatchC | Recalc.Syntax.Unify |
| UnifyMismatchI | Recalc.Syntax.Unify |
| unifySpec | Recalc.Syntax.UnifySpec |
| Univer | Recalc.Univer.Protocol, Recalc.Univer |
| univerMain | Recalc.Univer |
| UniverRecalc | Recalc.Univer |
| UnknownIdentifier | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Unspecified | Recalc.Syntax.Term |
| uri | Recalc.Syntax.ParserSpec |
| User | Recalc.Univer.Protocol, Recalc.Univer |