2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
13 typedef struct s_mappair {
14 lsymbol domain, range;
15 /*@null@*/ struct s_mappair *next;
18 typedef /*@relnull@*/ /*@only@*/ mappair *o_mappair;
20 typedef /*@abstract@*/ struct {
22 /*@relnull@*/ /*@only@*/ o_mappair *buckets;
26 extern /*@only@*/ mapping mapping_create (void);
27 extern lsymbol mapping_find (mapping p_t, lsymbol p_domain);
28 extern void mapping_bind (mapping p_t, lsymbol p_domain, lsymbol p_range);
29 extern void mapping_free (/*@only@*/ mapping p_m);
32 # error "Multiple include"