Function leanpy_box

LeanPy/native/python_bridge.c:193–193

LEAN_EXPORT void leanpy_inc_ref_n(b_lean_obj_arg o, size_t n) { lean_inc_ref_n(o, n); }

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); }