- c -

• choice_point : extern.h

- d -

• definition : extern.h

- g -

• GENERIC : extern.h
• goal : extern.h

- i -

• int_list : extern.h
• item : print.h

- l -

• ListHeader : list.h
• ListLinks : list.h

- n -

• node : extern.h

- o -

• operator_data : extern.h

- p -

• pair_def : types.c
• pair_list : extern.h
• parse_block : token.h
• psi_term : extern.h
• PsiTerm : c_life.h
• ptr_choice_point : extern.h
• ptr_definition : extern.h
• ptr_goal : extern.h
• ptr_hash_table : extern.h
• ptr_int_list : extern.h
• ptr_item : print.h
• ptr_keyword : extern.h
• ptr_list : extern.h
• ptr_module : extern.h
• ptr_node : extern.h
• ptr_operator_data : extern.h
• ptr_pair_list : extern.h
• ptr_parse_block : token.h
• ptr_psi_term : extern.h
• ptr_resid_block : lefun.h
• ptr_resid_list : extern.h
• ptr_residuation : extern.h
• ptr_stack : extern.h
• ptr_stream : sys.c
• ptr_tab_brk : print.h
• ptr_triple_list : extern.h

- r -

• Ref : list.h
• RefListEnumProc : list.h
• RefListGetLinksProc : list.h
• RefListHeader : list.h
• RefListLinks : list.h
• resid_block : lefun.h
• resid_list : extern.h
• residuation : extern.h

- s -

• stack : extern.h
• string : extern.h

- t -

• tab_brk : print.h
• triple_list : extern.h
• type_ptr : extern.h

---