 usage statistics for data types
associated with the unify package.
The Boolean argument heading tells whether to print a heading on the table.
<A NAME="free_context"></A><HR><PRE><B>void free_context(<A HREF="unify.html">Context</A> p);
</B></PRE><A NAME="get_context"></A><HR><PRE><B><A HREF="unify.html">Context</A> get_context(void);
</B></PRE><A NAME="match"></A><HR><PRE><B>BOOL match(<A HREF="term.html">Term</A> t1, <A HREF="unify.html">Context</A> c1, <A HREF="term.html">Term</A> t2, <A HREF="unify.htm