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 string
Functions
In crate lean_sys
?
Module
lean_sys
::
string
source
·
[
−
]
Expand description
Strings
Functions
§
lean_alloc_string
⚠
lean_char_default_value
instance : inhabited char := ⟨‘A’⟩
lean_mk_string
⚠
lean_mk_string_from_bytes
⚠
lean_string_append
⚠
lean_string_byte_size
⚠
lean_string_capacity
⚠
lean_string_cstr
⚠
lean_string_data
⚠
lean_string_dec_eq
⚠
lean_string_dec_lt
⚠
lean_string_eq
⚠
lean_string_eq_cold
⚠
lean_string_get_byte_fast
⚠
lean_string_hash
⚠
lean_string_len
⚠
lean_string_length
⚠
lean_string_lt
⚠
lean_string_mk
⚠
lean_string_ne
⚠
lean_string_push
⚠
lean_string_size
⚠
lean_string_utf8_at_end
⚠
lean_string_utf8_byte_size
⚠
lean_string_utf8_extract
⚠
lean_string_utf8_get
⚠
lean_string_utf8_get_fast
⚠
lean_string_utf8_get_fast_cold
⚠
lean_string_utf8_next
⚠
lean_string_utf8_next_fast
⚠
lean_string_utf8_next_fast_cold
⚠
lean_string_utf8_prev
⚠
lean_string_utf8_set
⚠
lean_utf8_n_strlen
⚠
lean_utf8_strlen
⚠