Index - U
| unhideConstant | HaskHOL.Core.Parser, HaskHOL.Core |
| union | HaskHOL.Core.Lib, HaskHOL.Core |
| union' | HaskHOL.Core.Lib, HaskHOL.Core |
| unions | HaskHOL.Core.Lib, HaskHOL.Core |
| unions' | HaskHOL.Core.Lib, HaskHOL.Core |
| uniq | HaskHOL.Core.Lib, HaskHOL.Core |
| uniq' | HaskHOL.Core.Lib, HaskHOL.Core |
| unless | HaskHOL.Core.Lib, HaskHOL.Core |
| unparseAsBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| unparseAsInfix | HaskHOL.Core.Parser, HaskHOL.Core |
| unparseAsPrefix | HaskHOL.Core.Parser, HaskHOL.Core |
| unparseAsTyBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| unsetBenignFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| unwrapArrow | HaskHOL.Core.Lib, HaskHOL.Core |
| unwrapMonad | HaskHOL.Core.Lib, HaskHOL.Core |
| UType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| uTypeFromTypeOpVar | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |