Here is a list of all class members with links to the classes they belong to:

- h -

• Handle : mim::Plugin
• has_dep() : mim::Def
• has_intersection() : mim::Sets< D, N >::Set
• has_ret_pi() : mim::Pi
• has_var() : mim::Def
• hash() : mim::Def
• head() : mim::ll::BB
• HoleExpr() : mim::ast::HoleExpr