Function get_lean_ffi

lean_py/_runtime.py:770–773 · view source on GitHub ↗

Get a singleton LeanFFI instance.

()

Source from the content-addressed store, hash-verified

borrowMethod · 0.90

__del__Method · 0.90

__init__Method · 0.90

_build_callableFunction · 0.85

__init__Method · 0.85

test_leanobj_handle_droppingFunction · 0.85

test_ffi_can_be_createdFunction · 0.85

test_ffi_has_initialisedFunction · 0.85

test_lean_string_wrapFunction · 0.85

get_ffi_classFunction · 0.85

test_leanobj_handle_droppingFunction · 0.68

test_ffi_can_be_createdFunction · 0.68

test_ffi_has_initialisedFunction · 0.68

test_lean_string_wrapFunction · 0.68