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

- u -

• uinc() : mim::World
• umax() : mim::World
• uncurry() : mim::App
• uncurry_args() : mim::App
• uncurry_callee() : mim::App
• unfold_type() : mim::Def
• UnionExpr() : mim::ast::UnionExpr
• uniq() : mim::World
• UniqExpr() : mim::ast::UniqExpr
• unique_name() : mim::Def
• unique_queue() : mim::unique_queue< Set >
• unit() : mim::World
• univ() : mim::World
• unset() : mim::Arr, mim::Def, mim::Hole, mim::Lam, mim::Pack, mim::Pi, mim::Reform, mim::Rule, mim::Seq, mim::Sigma
• Use() : mim::Use
• users() : mim::Def
• uses() : mim::Scheduler