[m-users.] Cartesian product of two sets of things.

[Volker Wysk]

Am Montag, dem 09.10.2023 um 11:04 +0200 schrieb Volker Wysk:
> :- pred cart_prod(set(T)::in, set(U)::in, set(pair(T, U))::out) is det.

Oops, that should be:

:- pred cart_prod(set(T)::in, set(U)::in, list(pair(T, U))::out) is det.

Volker