Function leanpy_int64_of_int

LeanPy/native/python_bridge.c:202–202

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); }
LEAN_EXPORT int64_t       leanpy_int64_of_int(b_lean_obj_arg o) { return lean_int64_of_int(o); }
LEAN_EXPORT lean_object * leanpy_uint64_to_nat(uint64_t n) { return lean_uint64_to_nat(n); }
LEAN_EXPORT uint64_t      leanpy_uint64_of_nat(b_lean_obj_arg o) { return lean_uint64_of_nat(o); }