Index - H
| H | Predicate |
| Head | Predicate |
| Head' | Predicate |
| HeadDef | Predicate |
| HeadFail | Predicate |
| HeadP | Predicate |
| hh | UtilP |
| Hide | Predicate |
| Hms | Refined3Helper |
| hms | Refined3Helper |
| Hms4 | Refined3Helper |
| hms4 | Refined3Helper |
| Hmsconv | Refined3Helper |
| Hmsfmt | Refined3Helper |
| Hmsip | Refined3Helper |
| Hmsop | Refined3Helper |
| HmsRE | Refined3Helper |
| Hmsval | Refined3Helper |
| Holder | |
| 1 (Type/Class) | UtilP |
| 2 (Data Constructor) | UtilP |
| Hole | Predicate |
| horizontal | UtilP |