python-frontend → goto-programs Relation

File in src/python-frontend	Includes file in src/goto-programs
python2goto.cpp	goto_convert_functions.h
python2goto.cpp	write_goto_binary.h
python_blank_library.cpp	goto_functions.h
python_library.cpp	goto_binary_reader.h
python_library.cpp	goto_functions.h