Function lean_sys::string::lean_alloc_string
source · [−]pub unsafe fn lean_alloc_string(
size: usize,
capacity: usize,
len: usize
) -> lean_obj_res
pub unsafe fn lean_alloc_string(
size: usize,
capacity: usize,
len: usize
) -> lean_obj_res