WildLife: C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/copy.h Source File

00001 /* Copyright 1991 Digital Equipment Corporation.
00002 ** All Rights Reserved.
00003 **
00004 ** Last modified on Wed Jan 27 00:41:03 1993 by Rmeyer
00005 **      modified on Fri Sep  6 14:17:04 1991 by vanroy
00006 **      modified on Fri Aug 23 16:36:08 1991 by herve 
00007 *****************************************************************/
00008 /*      $Id: copy.h,v 1.2 1994/12/08 23:21:57 duchier Exp $      */
00009 
00010 extern void init_copy();
00011 extern void clear_copy();
00012 
00013 extern ptr_psi_term exact_copy();
00014 extern ptr_psi_term quote_copy();
00015 extern ptr_psi_term eval_copy();
00016 extern ptr_psi_term inc_heap_copy();
00017 
00018 extern ptr_psi_term distinct_copy();
00019 extern ptr_node distinct_tree();
00020 
00021 extern void mark_quote();
00022 extern void mark_quote_tree();
00023 extern void mark_eval();
00024 extern void mark_eval_tree();
00025 extern void mark_nonstrict();
00026 extern void bk_mark_quote();
00027 
00028 extern ptr_psi_term translate();