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_objectpub unsafe fn lean_alloc_external(
cls: *mut lean_external_class,
data: *mut c_void
) -> *mut lean_object