[mercury-users] write_term to string.builder?

[Tomas By]

On Mon, October 22, 2012 21:18, Jeff Thompson wrote:
> Hello.  I want to format a term to a string.

Try string.format

/Tomas


--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------