[m-dev.] proposed breakup of std_util.m

[Ralph Becket]

Julien Fischer, Thursday, 23 March 2006:
> A slightly related issue: I think we should introduce semidet_true and
> semidet_false as synonyms for semidet_succeed and semidet_fail.

Absolutely.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------