Here is a list of all struct and union fields with links to the structures/unions they belong to:

- h -

• h() : optimize::handle
• handle() : optimize::handle
• hash() : AstRef , ast
• hashCode() : AST , FuncDecl , Sort
• HeadDecl : ListSort
• Help : Tactic , Solver , Optimize , Fixedpoint
• help() : tactic , Solver , Optimize , Tactic , Fixedpoint , optimize
• hi() : expr