lean-rs-sys-0.1.2
- lean-rs-sys 0.1.2
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- jcreinhold
- Dependencies
- sha2 ^0.11 build
- Versions
- 63.01% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

lean_mk_string

lean_rs_sys0.1.2

In lean_rs_sys::string

lean_rs_sys::string

Function lean_mk_string

pub unsafe extern "C" fn lean_mk_string(
    s: *const c_char,
) -> lean_obj_res