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

- u -

• uinc() : mim::World
• umax() : mim::World
• undo_enter() : mim::FPPass< P, M >
• undo_visit() : mim::FPPass< P, M >
• unfold_type() : mim::Def
• unique_name() : mim::Def
• unique_queue() : mim::unique_queue< Set >
• univ() : mim::World
• unset() : mim::Arr, mim::Def, mim::Infer, mim::Lam, mim::Pack, mim::Pi, mim::Sigma
• unset_type() : mim::Def
• update() : mim::Def
• Use() : mim::Use
• uses() : mim::Def, mim::Scheduler