[mercury-users] write_term to string.builder?

[Tomas By]

Sorry, read that too quickly.

Doesn't string(Term) work?

/Tomas



On Mon, October 22, 2012 23:31, Tomas By wrote:
> 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
> --------------------------------------------------------------------------
>


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------