Here is a list of all functions with links to the structures/unions they belong to:

- h -

• h() : optimize::handle
• handle() : optimize::handle
• has_interp() : model
• hash() : ast, AstRef
• help() : fixedpoint, optimize, simplifier, tactic, Fixedpoint, Optimize, Simplifier, Solver, Tactic
• hi() : expr