2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
12 /*@private@*/ typedef struct _refentry { int level; int index; } *refentry;
13 /*@private@*/ typedef /*@only@*/ refentry o_refentry;
15 typedef /*@null@*/ struct s_refTable {
21 extern /*@only@*/ refTable refTable_create (void) /*@*/ ;
22 static void refTable_free (/*@only@*/ refTable p_x);
27 # error "Multiple include"