_just(Topform c);
</B></PRE>This routine builds and returns a justification list for new_symbol inference.
<A NAME="p_just"></A><HR><PRE><B>void p_just(Just j);
</B></PRE><A NAME="p_just_mem"></A><HR><PRE><B>void p_just_mem();
</B></PRE>This routine prints (to stdout) memory usage statistics for data types
associated with the just package.
<A NAME="para_just"></A><HR><PRE><B>Just para_just(Just_type rule,
	       Topform from, Ilist from_vec,
	       Topform into, Ilist into_vec);
</B></PRE>This routine bui