></A><HR><PRE><B>void sb_append_id(<A HREF="strbuf.html">String_buf</A> sb, int id, I3list map);
</B></PRE><A NAME="sb_write_ids"></A><HR><PRE><B>void sb_write_ids(<A HREF="strbuf.html">String_buf</A> sb, Ilist p, I3list map);
</B></PRE><A NAME="sb_write_just"></A><HR><PRE><B>void sb_write_just(<A HREF="strbuf.html">String_buf</A> sb, Just just, I3list map);
</B></PRE>This routine writes (to a <A HREF="strbuf.html">String_buf</A>) a clause justification.
No whitespace is printed before or after.
<A NAME="sb