Function leanpy_box_uint64

LeanPy/native/python_bridge.c:195–195

LEAN_EXPORT lean_object * leanpy_box(size_t v) { return lean_box(v); }
LEAN_EXPORT size_t        leanpy_unbox(b_lean_obj_arg o) { return lean_unbox(o); }
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); }