let list_och = ref default_list_och (* output stream for list file *)
let alpha_type = ref default_alpha (* data for type-based alpha-conversion *)
let alpha_sort = ref default_alpha (* data for sort-based alpha-conversion *)
let list_och = ref default_list_och (* output stream for list file *)
let alpha_type = ref default_alpha (* data for type-based alpha-conversion *)
let alpha_sort = ref default_alpha (* data for sort-based alpha-conversion *)
no_types := default_no_types;
global_alpha := default_global_alpha;
log_alpha := default_log_alpha;
no_types := default_no_types;
global_alpha := default_global_alpha;
log_alpha := default_log_alpha;
list_och := default_list_och;
alpha_type := default_alpha;
alpha_sort := default_alpha;
list_och := default_list_och;
alpha_type := default_alpha;
alpha_sort := default_alpha;