Expand description
Integers
Constants§
Functions§
- lean_
big_ ⚠int64_ to_ int - lean_
big_ ⚠int_ to_ int - lean_
big_ ⚠int_ to_ nat - lean_
big_ ⚠size_ t_ to_ int - lean_
cstr_ ⚠to_ int - lean_
int64_ ⚠to_ int - lean_
int_ ⚠add - lean_
int_ ⚠big_ add - lean_
int_ ⚠big_ div - lean_
int_ ⚠big_ div_ exact - lean_
int_ ⚠big_ ediv - lean_
int_ ⚠big_ emod - lean_
int_ ⚠big_ eq - lean_
int_ ⚠big_ le - lean_
int_ ⚠big_ lt - lean_
int_ ⚠big_ mod - lean_
int_ ⚠big_ mul - lean_
int_ ⚠big_ neg - lean_
int_ ⚠big_ nonneg - lean_
int_ ⚠big_ sub - lean_
int_ ⚠dec_ eq - lean_
int_ ⚠dec_ le - lean_
int_ ⚠dec_ lt - lean_
int_ ⚠dec_ nonneg - lean_
int_ ⚠div - lean_
int_ ⚠div_ exact - lean_
int_ ⚠ediv - lean_
int_ ⚠emod - lean_
int_ ⚠eq - lean_
int_ ⚠le - lean_
int_ ⚠lt - lean_
int_ ⚠mod - lean_
int_ ⚠mul - lean_
int_ ⚠ne - lean_
int_ ⚠neg - lean_
int_ ⚠neg_ succ_ of_ nat - lean_
int_ ⚠sub - lean_
int_ ⚠to_ int - lean_
int_ ⚠to_ nat - lean_
nat_ ⚠abs - lean_
nat_ ⚠to_ int - lean_
scalar_ ⚠to_ int - lean_
scalar_ ⚠to_ int64