Function leanpy_box_float

LeanPy/native/python_bridge.c:197–197

LEAN_EXPORT lean_object * leanpy_box_uint64(uint64_t v) { return lean_box_uint64(v); }
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); }