Function get_structs

lean_py/_runtime.py:751–754

Get the dynamically created struct types.

()

def get_lean_ffi():
    """Get a singleton LeanFFI instance."""
    cls = get_ffi_class()
    return cls()