This is the complete list of members for python_lambda, including all inherited members.

get_lambda_expr(const nlohmann::json &element, const std::vector< std::optional< typet > > &argument_types)	python_lambda
handle_lambda_assignment(symbolt *lhs_symbol, exprt &lhs, exprt &rhs)	python_lambda
infer_lambda_return_type(const nlohmann::json &body_node)	python_lambda
is_lambda_assignment(const nlohmann::json &ast_node) const	python_lambda
narrowed_parameter_types(const nlohmann::json &call, const nlohmann::json &scope, const code_typet &signature) const	python_lambda
python_lambda(python_converter &converter, contextt &context, type_handler &type_handler)	python_lambda