[m-users.] Multi predicate of entire enum
sheganinans at gmail.com
Mon Jul 20 14:37:22 AEST 2020
So say I have some enum:
`:- type ex ---> a; b; c.`
And I want to generate a function similar to:
:- pred ex_mul(ex::out) is multi.
Any kind of standard library predicate I can use so I don't have to add a
new case to the predicate for every instance of the enum?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users