/* Copyright 1991 Digital Equipment Corporation.
** All Rights Reserved.
**
** Last modified on Wed Jan 27 00:41:03 1993 by Rmeyer
**      modified on Fri Sep  6 14:17:04 1991 by vanroy
**      modified on Fri Aug 23 16:36:08 1991 by herve 
*****************************************************************/
/* 	$Id: copy.h,v 1.2 1994/12/08 23:21:57 duchier Exp $	 */

extern void init_copy();
extern void clear_copy();

extern ptr_psi_term exact_copy();
extern ptr_psi_term quote_copy();
extern ptr_psi_term eval_copy();
extern ptr_psi_term inc_heap_copy();

extern ptr_psi_term distinct_copy();
extern ptr_node distinct_tree();

extern void mark_quote();
extern void mark_quote_tree();
extern void mark_eval();
extern void mark_eval_tree();
extern void mark_nonstrict();
extern void bk_mark_quote();

extern ptr_psi_term translate();
