- a -

• a : wl_pair_list , wl_triple_list , wl_goal , wl_stack
• already_loaded : wl_definition
• always_check : wl_definition
• ans : try
• attr_list : wl_psi_term

- b -

• b : wl_pair_list , wl_triple_list , wl_goal , wl_stack
• bestsort : wl_residuation
• broken : wl_tab_brk
• bucketindex : hashentry

- c -

• c : wl_triple_list , wl_goal
• car : wl_pair_def
• cc_cr : wl_resid_block
• cdr : wl_pair_def
• children : wl_definition
• code : wl_definition
• column : wl_tab_brk
• combined_name : wl_keyword
• coref : wl_psi_term

- d -

• data : wl_hash_table , wl_node , text_buffer
• date : wl_definition
• definition : wl_keyword
• dst : try

- e -

• ef : wl_parse_block
• endp : regexp
• evaluate_args : wl_definition

- f -

• feature : psi_arg
• First : wl_ListHeader
• flags : wl_psi_term
• fp : a_stream

- g -

• GetLinks : wl_ListHeader
• global_value : wl_definition
• goal : wl_residuation
• goal_stack : wl_choice_point

- i -

• info : hashbucket
• inherited_modules : wl_module
• init_value : wl_definition

- k -

• key : wl_node
• keyword : wl_definition

- l -

• Last : wl_ListHeader
• lc : wl_parse_block
• left : wl_node

- m -

• md : wl_resid_block
• module : wl_keyword
• module_name : wl_module

- n -

• name : psi_feature
• new_value : hashbucket
• next : wl_choice_point , wl_goal , wl_stack , wl_triple_list , wl_pair_list , wl_residuation , wl_definition , wl_resid_list , wl_int_list , wl_operator_data , hashbucket
• Next : wl_ListLinks
• next : text_buffer

- o -

• old_value : hashbucket
• op : a_stream
• op_data : wl_definition
• open_modules : wl_module
• operator type : wl_operator_data
• options : psi_arg
• osc : wl_parse_block
• ospt : wl_parse_block
• othervar : wl_resid_list

- p -

• parents : wl_definition
• pending : wl_goal
• precedence : wl_operator_data
• Prev : wl_ListLinks
• printed : wl_tab_brk
• private_feature : wl_keyword
• program : regexp
• properties : wl_definition
• protected : wl_definition
• public : wl_keyword

- r -

• ra : wl_resid_block
• re : try
• reganch : regexp
• regmlen : regexp
• regmust : regexp
• regstart : regexp
• resid : wl_psi_term
• right : wl_node
• rule : wl_definition
• rv : wl_resid_block

- s -

• sc : wl_parse_block
• size : wl_hash_table
• sol : wl_parse_block
• sortflag : wl_residuation
• source_file : wl_module
• spt : wl_parse_block
• src : try
• stack_top : wl_choice_point
• startp : regexp
• status : wl_psi_term
• str : try , wl_item
• symbol : wl_keyword
• symbol_table : wl_module

- t -

• tab : wl_item
• time_stamp : wl_psi_term , wl_choice_point
• timestamp : hashentry
• top : text_buffer
• type : wl_definition , wl_stack , psi_arg , wl_goal , wl_psi_term

- u -

• undo_point : wl_choice_point
• used : wl_hash_table

- v -

• value : wl_int_list , wl_residuation , psi_feature , wl_psi_term
• var : wl_resid_list

---