Module lean_sys::alloc

Structs

• LeanAlloc
  A global allocator that uses Lean’s allocator. This is useful when writing FFI libraries for Lean, where people may want to disable rust’s std.