home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / SOURCE / COPY.H < prev    next >
C/C++ Source or Header  |  1996-06-04  |  836b  |  29 lines
  1. /* Copyright 1991 Digital Equipment Corporation.
  2. ** All Rights Reserved.
  3. **
  4. ** Last modified on Wed Jan 27 00:41:03 1993 by Rmeyer
  5. **      modified on Fri Sep  6 14:17:04 1991 by vanroy
  6. **      modified on Fri Aug 23 16:36:08 1991 by herve 
  7. *****************************************************************/
  8. /*     $Id: copy.h,v 1.2 1994/12/08 23:21:57 duchier Exp $     */
  9.  
  10. extern void init_copy();
  11. extern void clear_copy();
  12.  
  13. extern ptr_psi_term exact_copy();
  14. extern ptr_psi_term quote_copy();
  15. extern ptr_psi_term eval_copy();
  16. extern ptr_psi_term inc_heap_copy();
  17.  
  18. extern ptr_psi_term distinct_copy();
  19. extern ptr_node distinct_tree();
  20.  
  21. extern void mark_quote();
  22. extern void mark_quote_tree();
  23. extern void mark_eval();
  24. extern void mark_eval_tree();
  25. extern void mark_nonstrict();
  26. extern void bk_mark_quote();
  27.  
  28. extern ptr_psi_term translate();
  29.