Expand description
Natural numbers
Constants§
Functions§
- lean_
big_ ⚠uint64_ to_ nat - lean_
big_ ⚠usize_ to_ nat - lean_
cstr_ ⚠to_ nat - lean_
nat_ ⚠add - lean_
nat_ ⚠big_ add - lean_
nat_ ⚠big_ div - lean_
nat_ ⚠big_ div_ exact - lean_
nat_ ⚠big_ eq - lean_
nat_ ⚠big_ land - lean_
nat_ ⚠big_ le - lean_
nat_ ⚠big_ lor - lean_
nat_ ⚠big_ lt - lean_
nat_ ⚠big_ mod - lean_
nat_ ⚠big_ mul - lean_
nat_ ⚠big_ shiftr - lean_
nat_ ⚠big_ sub - lean_
nat_ ⚠big_ succ - lean_
nat_ ⚠big_ xor - lean_
nat_ ⚠dec_ eq - lean_
nat_ ⚠dec_ le - lean_
nat_ ⚠dec_ lt - lean_
nat_ ⚠div - lean_
nat_ ⚠div_ exact - assumes that a1 % a2 = 0
- lean_
nat_ ⚠eq - lean_
nat_ ⚠gcd - lean_
nat_ ⚠land - lean_
nat_ ⚠le - lean_
nat_ ⚠log2 - lean_
nat_ ⚠lor - lean_
nat_ ⚠lt - lean_
nat_ ⚠lxor - lean_
nat_ ⚠mod - lean_
nat_ ⚠mul - lean_
nat_ ⚠overflow_ mul - lean_
nat_ ⚠pow - lean_
nat_ ⚠shiftl - lean_
nat_ ⚠shiftr - lean_
nat_ ⚠sub - lean_
nat_ ⚠succ - lean_
uint64_ ⚠to_ nat - lean_
unsigned_ ⚠to_ nat - lean_
usize_ ⚠to_ nat