Z3 |

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
- has_interp() : model
- hash() : ast, AstRef
- hashCode() : AST, Sort
- HeadDecl : ListSort
- Help : Fixedpoint, Optimize, Solver, Tactic
- help() : fixedpoint, optimize, tactic, Fixedpoint, Optimize, Solver, Tactic
- hi() : expr