[m-users.] Documentation of "^" wanted

[Volker Wysk]

Hi!

In the bitmap module, there are declarations like this:

:- func bitmap      ^ bit(bit_index)    = bool.
% :- mode bitmap_ui ^ bit(in)           = out is det.
:- mode in          ^ bit(in)           = out is det.

What does that "^" mean? It's listed in the "builtin operators" chapter in
the language reference manual, but there it isn't listed what it means. What
do I have to look for in the manual?

Thanks!

Volker
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.mercurylang.org/archives/users/attachments/20210410/3d487d51/attachment.sig>