python-frontend → c2goto Relation

File in src/python-frontend	Includes file in src/c2goto
python_language.cpp	cprover_library.h
python_library.cpp	cprover_library.h
set / python_set.cpp	library / python / python_types.h