lean_sys::string

Function lean_mk_string_from_bytes

Source 
pub unsafe extern "C" fn lean_mk_string_from_bytes(
    s: *const u8,
    sz: usize,
) -> lean_obj_res