Docs.rs
lean-sys-0.0.6
lean-sys 0.0.6
Permalink
Docs.rs crate page
MIT OR Apache-2.0
Links
Repository
crates.io
Source
Owners
imbrem
digama0
Dependencies
libc ^0.2
normal
memoffset ^0.9
normal
parking_lot ^0.12
normal
static_assertions ^1.1.0
normal
rand ^0.8
dev
rand_xoshiro ^0.6
dev
Versions
11.88%
of the crate is documented
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
lean_sys
0.0.6
Module primitive
Functions
In crate lean_sys
?
Module
lean_sys
::
primitive
source
·
[
−
]
Expand description
Primitive operations
Functions
§
lean_bool_to_uint64
lean_box_float
⚠
lean_box_uint32
⚠
lean_box_uint64
⚠
lean_box_usize
⚠
lean_float_add
lean_float_beq
lean_float_decLe
lean_float_decLt
lean_float_div
lean_float_frexp
⚠
lean_float_isfinite
⚠
lean_float_isinf
⚠
lean_float_isnan
⚠
lean_float_mul
lean_float_negate
lean_float_scaleb
⚠
lean_float_sub
lean_float_to_string
⚠
lean_float_to_uint8
lean_float_to_uint16
lean_float_to_uint32
lean_float_to_uint64
lean_float_to_usize
lean_name_eq
⚠
lean_name_hash
⚠
lean_name_hash_ptr
⚠
lean_ptr_addr
pointer address unsafe primitive
lean_st_mk_ref
⚠
lean_st_mk_ref_get
⚠
lean_st_mk_ref_reset
⚠
lean_st_mk_ref_set
⚠
lean_st_mk_ref_swap
⚠
lean_uint8_add
lean_uint8_complement
lean_uint8_dec_eq
lean_uint8_dec_le
lean_uint8_dec_lt
lean_uint8_div
lean_uint8_land
lean_uint8_lor
lean_uint8_mod
lean_uint8_modn
lean_uint8_mul
lean_uint8_of_big_nat
⚠
lean_uint8_of_nat
⚠
lean_uint8_of_nat_mk
⚠
lean_uint8_shift_left
lean_uint8_shift_right
lean_uint8_sub
lean_uint8_to_nat
⚠
lean_uint8_to_uint16
lean_uint8_to_uint32
lean_uint8_to_uint64
lean_uint8_xor
lean_uint16_add
lean_uint16_complement
lean_uint16_dec_eq
lean_uint16_dec_le
lean_uint16_dec_lt
lean_uint16_div
lean_uint16_land
lean_uint16_lor
lean_uint16_mod
lean_uint16_modn
lean_uint16_mul
lean_uint16_of_big_nat
⚠
lean_uint16_of_nat
⚠
lean_uint16_of_nat_mk
⚠
lean_uint16_shift_left
lean_uint16_shift_right
lean_uint16_sub
lean_uint16_to_nat
⚠
lean_uint16_to_uint8
lean_uint16_to_uint32
lean_uint16_to_uint64
lean_uint16_xor
lean_uint32_add
lean_uint32_big_modn
⚠
lean_uint32_complement
lean_uint32_dec_eq
lean_uint32_dec_le
lean_uint32_dec_lt
lean_uint32_div
lean_uint32_land
lean_uint32_lor
lean_uint32_mod
lean_uint32_modn
⚠
lean_uint32_mul
lean_uint32_of_big_nat
⚠
lean_uint32_of_nat
⚠
lean_uint32_of_nat_mk
⚠
lean_uint32_shift_left
lean_uint32_shift_right
lean_uint32_sub
lean_uint32_to_nat
⚠
lean_uint32_to_uint8
lean_uint32_to_uint16
lean_uint32_to_uint64
lean_uint32_to_usize
lean_uint32_xor
lean_uint64_add
lean_uint64_big_modn
⚠
lean_uint64_complement
lean_uint64_dec_eq
lean_uint64_dec_le
lean_uint64_dec_lt
lean_uint64_div
lean_uint64_land
lean_uint64_lor
lean_uint64_mix_hash
⚠
lean_uint64_mod
lean_uint64_modn
⚠
lean_uint64_mul
lean_uint64_of_big_nat
⚠
lean_uint64_of_nat
⚠
lean_uint64_of_nat_mk
⚠
lean_uint64_shift_left
lean_uint64_shift_right
lean_uint64_sub
lean_uint64_to_float
lean_uint64_to_uint8
lean_uint64_to_uint16
lean_uint64_to_uint32
lean_uint64_to_usize
lean_uint64_xor
lean_unbox_float
⚠
lean_unbox_uint32
⚠
lean_unbox_uint64
⚠
lean_unbox_usize
⚠
lean_usize_add
lean_usize_big_modn
⚠
lean_usize_complement
lean_usize_dec_eq
lean_usize_dec_le
lean_usize_dec_lt
lean_usize_div
lean_usize_land
lean_usize_lor
lean_usize_mix_hash
⚠
lean_usize_mod
lean_usize_modn
⚠
lean_usize_mul
lean_usize_of_big_nat
⚠
lean_usize_of_nat
⚠
lean_usize_of_nat_mk
⚠
lean_usize_shift_left
lean_usize_shift_right
lean_usize_sub
lean_usize_to_uint32
lean_usize_to_uint64
lean_usize_xor