Here is a list of all documented namespace members with links to the namespaces they belong to:

fof_arguments_struct : tptp_parser
fof_atomic_formula_type : tptp_parser
Iter : tptp_parser
schedule_step : schedule