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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

Z

~

- u -

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