| 608 | |
| 609 | LEAN_EXPORT lean_obj_res lean_py_to_string(b_lean_obj_arg p, lean_obj_arg world) { |
| 610 | (void)world; ENSURE_INIT(); WITH_GIL(); |
| 611 | return py_obj_to_lean_string(p_PyObject_Str(unwrap_pyobject(p))); |
| 612 | } |
| 613 | |
| 614 | LEAN_EXPORT lean_obj_res lean_py_repr(b_lean_obj_arg p, lean_obj_arg world) { |
| 615 | (void)world; ENSURE_INIT(); WITH_GIL(); |
| 616 | return py_obj_to_lean_string(p_PyObject_Repr(unwrap_pyobject(p))); |
nothing calls this directly
no test coverage detected