Function leanpy_unbox

LeanPy/native/python_bridge.c:194–194

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