Function leanpy_unbox_float

LeanPy/native/python_bridge.c:198–198

LEAN_EXPORT uint64_t      leanpy_unbox_uint64(b_lean_obj_arg o) { return lean_unbox_uint64(o); }
LEAN_EXPORT lean_object * leanpy_box_float(double v) { return lean_box_float(v); }
LEAN_EXPORT double        leanpy_unbox_float(b_lean_obj_arg o) { return lean_unbox_float(o); }

LEAN_EXPORT lean_object * leanpy_int_to_int(int n) { return lean_int_to_int(n); }
LEAN_EXPORT lean_object * leanpy_int64_to_int(int64_t n) { return lean_int64_to_int(n); }