Function _extract_export_names

lean_py/_parse.py:258–261

(header_path: Path)

            if ptype == "void":
                continue
            params.append(FuncParam(name="", c_type=ptype))
        elif isinstance(param, c_ast.Decl):
            pname = param.name or ""
            ptype = _decl_type_to_str(param.type)
            if ptype == "void" and not pname:
                continue
            params.append(FuncParam(name=pname, c_type=ptype))