- h -

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