Function lean_sys::constructor::lean_alloc_ctor

source · 
pub unsafe fn lean_alloc_ctor(
    tag: c_uint,
    num_objs: c_uint,
    scalar_sz: c_uint
) -> *mut lean_object