Function get_ffi_class

lean_py/_runtime.py:757–760 · view source on GitHub ↗

Get the dynamically created LeanFFI class.

()

Source from the content-addressed store, hash-verified

lean_ffi.pyFile · 0.90

get_lean_ffiFunction · 0.85

_ensure_builtFunction · 0.85

no test coverage detected