Function test_ffi_can_be_created

tests/test_ffi.py:7–9

()

def _lean_string_to_py(ffi, ptr) -> str:
    """Decode a Lean string object into a Python str via the safe ffi path."""
    size = ffi.lean_string_size(ptr)
    if size <= 1:
        return ""
    cstr = ffi.lean_string_cstr(ptr)
    raw = cstr.value if isinstance(cstr, ctypes.c_char_p) else cstr