Function lean_sys::external::lean_alloc_external
source ยท pub unsafe fn lean_alloc_external(
cls: *mut lean_external_class,
data: *mut c_void,
) -> *mut lean_object
pub unsafe fn lean_alloc_external(
cls: *mut lean_external_class,
data: *mut c_void,
) -> *mut lean_object