Defined in File cwrapper.cpp
basic_free_symbols
Returns a CSetBasic of set_basic given by free_symbols.