12c12
< extern long redefine();
---
> extern long redefine(ptr_psi_term);
14,15c14,15
< extern void assert_type();
< extern void assert_complicated_type();
---
> extern void assert_type(ptr_psi_term);
> extern void assert_complicated_type(ptr_psi_term);
18,21c18,21
< extern void assert_protected();
< extern void assert_delay_check();
< extern void assert_args_not_eval();
< extern void clear_already_loaded();
---
> extern void assert_protected(ptr_node,long);
> extern void assert_delay_check(ptr_node);
> extern void assert_args_not_eval(ptr_node);
> extern void clear_already_loaded(ptr_node);
24,29c24,29
< extern long glb();
< extern long glb_code();
< extern long glb_value();
< extern long sub_type();
< extern long overlap_type();
< extern long matches();
---
> extern long glb(ptr_definition,ptr_definition,ptr_definition*,ptr_int_list *);
> extern long glb_code(long,GENERIC,long,GENERIC,long *,GENERIC *);
> extern long glb_value(long,long,GENERIC,GENERIC,GENERIC,GENERIC *);
> extern long sub_type(ptr_definition,ptr_definition);
> extern long overlap_type(ptrs_definition,ptr_definition);
> extern long matches(ptr_definition,ptr_definition,long*);
31c31
< extern ptr_int_list decode();
---
> extern ptr_int_list decode(ptr_int_list);
34c34
< extern void print_def_type();
---
> extern void print_def_type(def_type);
36,38c36,38
< ptr_int_list lub();
< void or_codes();
< ptr_int_list copyTypeCode();
---
> ptr_int_list lub(ptr_psi_term,ptr_psi_term, ptr_psi_term *);
> void or_codes(ptr_int_list,ptr_int_list);
> ptr_int_list copyTypeCode(ptr_int_list);
