_just(int n);
</B></PRE>This routine builds and returns a justification for equality flipping.
<A NAME="fprint_just_mem"></A><HR><PRE><B>void fprint_just_mem(FILE *fp, BOOL heading);
</B></PRE>This routine prints (to FILE *fp) memory usage statistics for data types
associated with the just package.
The Boolean argument heading tells whether to print a heading on the table.
<A NAME="get_clause_ancestors"></A><HR><PRE><B>Plist get_clause_ancestors(Topform c);
</B></PRE>This routine returns the Plist of clause