Function lean_sys::string::lean_mk_string_from_bytes
source · [−]pub unsafe extern "C" fn lean_mk_string_from_bytes(
s: *const u8,
sz: usize
) -> lean_obj_res
pub unsafe extern "C" fn lean_mk_string_from_bytes(
s: *const u8,
sz: usize
) -> lean_obj_res