Module 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.