python_library.h

Go to the documentation of this file.

#pragma once
 
class contextt;
class goto_functionst;
 
void add_cpython_library(contextt &context);

void link_cpython_library_bodies(goto_functionst &dest);

const goto_functionst &cpython_library_bodies();