Function _extract_inline_names

lean_py/_parse.py:264–267

(header_path: Path)

            if ptype == "void" and not pname:
                continue
            params.append(FuncParam(name=pname, c_type=ptype))
    return params, is_variadic


def _extract_export_names(header_path: Path) -> set[str]:
    text = header_path.read_text()
    pattern = re.compile(r"LEAN_EXPORT\s+(?:LEAN_NORETURN\s+)?[\w\s*]+\s+(\w+)\s*\(")