Index - U
| unAt | Language.Symantic |
| unEval | Language.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic |
| Unifix | Language.Symantic |
| unifix_prece | Language.Symantic |
| unifyType | Language.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic |
| unionModules | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
| unionModulesUnchecked | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
| unionSubst | Language.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic |
| UnProxy | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |
| UnQualOf | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic |
| unQualsTy | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic |
| unQualTy | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic |
| unReadTermCF | Language.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic |
| UnT | Language.Symantic.Transforming.Trans, Language.Symantic.Transforming, Language.Symantic |
| unTrans | Language.Symantic.Transforming.Trans, Language.Symantic.Transforming, Language.Symantic |
| unTyFun | Language.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic |
| unView | Language.Symantic.Interpreting.View, Language.Symantic.Interpreting, Language.Symantic |
| UsedVars | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |
| UsedVarsOf | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |
| usedVarsOf | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |
| UsedVarsS | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |
| UsedVarsZ | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |