[m-users.] More modes for map.map_foldl

Volker Wysk post at volker-wysk.de
Tue Dec 2 14:49:38 AEDT 2025


Am Montag, dem 01.12.2025 um 19:25 +0100 schrieb Volker Wysk:
> There are also a lot more predicates which should updated this way as
> well.

Just copy&paste the present mode lines for each predicate, narrow-to-region
and replace "det" with "cc_multi" and "semidet" with "cc_nondet". It should
be no work at all!  :-)

Volker


More information about the users mailing list