Function lean_py_is_initialized

LeanPy/native/python_bridge.c:428–432

}

LEAN_EXPORT lean_obj_res lean_py_is_initialized(lean_obj_arg unit, lean_obj_arg world) {
    (void)world;
    uint8_t v = py_initialized ? 1 : 0;
    return lean_io_result_mk_ok(lean_box(v));
}

/* ------------------------------------------------------------------ */
/*  Helpers                                                            */