145 ptr_block_definition block_def;
163 unsigned long time_stamp;
211 #include "blockstruct.h"
396 #define TEXTBUFSIZE 5000
struct wl_tab_brk tab_brk
struct wl_node * ptr_node
struct wl_choice_point choice_point
struct wl_resid_block * ptr_resid_block
struct wl_definition * def_type
struct wl_int_list int_list
struct wl_resid_list * ptr_resid_list
struct wl_operator_data operator_data
struct wl_resid_block resid_block
struct wl_ListHeader ListHeader
ptr_int_list inherited_modules
ptr_definition definition
ptr_hash_table symbol_table
struct wl_tab_brk * ptr_tab_brk
struct wl_psi_term psi_term
struct wl_hash_table * ptr_hash_table
struct wl_list * ptr_list
struct wl_module * ptr_module
RefListLinks(* RefListGetLinksProc)()
struct wl_triple_list * ptr_triple_list
struct wl_choice_point * ptr_choice_point
struct wl_goal * ptr_goal
struct wl_ListLinks ListLinks
ptr_psi_term global_value
struct wl_ListLinks * RefListLinks
struct wl_definition * ptr_definition
struct wl_operator_data * ptr_operator_data
struct wl_pair_list * ptr_pair_list
struct wl_ListHeader * RefListHeader
ptr_int_list open_modules
struct wl_parse_block * ptr_parse_block
struct wl_keyword * ptr_keyword
struct wl_psi_term * ptr_psi_term
struct wl_parse_block parse_block
struct wl_residuation * ptr_residuation
struct wl_definition definition
ptr_triple_list properties
struct wl_triple_list triple_list
struct wl_resid_list resid_list
struct wl_int_list * ptr_int_list
struct wl_pair_list pair_list
struct text_buffer * next
struct wl_item * ptr_item
struct wl_stack * ptr_stack
ptr_module current_module
ptr_operator_data op_data
struct wl_residuation residuation