Function lean_py_of_bytes

LeanPy/native/python_bridge.c:508–513

    (void)world; ENSURE_INIT(); WITH_GIL();
    return ok_owned_or_err(p_PyFloat_FromDouble(f));
}

LEAN_EXPORT lean_obj_res lean_py_of_string(b_lean_obj_arg s, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    const char *cs = lean_string_cstr(s);
    size_t n = lean_string_size(s) - 1; /* size includes terminating NUL */
    return ok_owned_or_err(p_PyUnicode_DecodeUTF8(cs, (Py_ssize_t)n, NULL));
}