lean-rs-sys 0.2.2

Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! The published `lean_object` is opaque: it is only ever held by pointer.
//! Its `_data` / `_marker` fields are private, so downstream code cannot
//! construct one with a struct literal—the only way to obtain object state is
//! through the crate's `pub unsafe fn` helpers.

fn main() {
    let _obj = lean_rs_sys::lean_object {
        _data: [],
        _marker: core::marker::PhantomData,
    };
}