<div dir="ltr"><div>So say I have some enum:</div><div><br></div><div>`:- type ex ---> a; b; c.`</div><div><br></div><div>And I want to generate a function similar to:</div><div><br></div><div>```<br></div><div>:- pred ex_mul(ex::out) is multi.</div><div>ex_mul(a).</div><div>ex_mul(b).</div><div>ex_mul(c).</div><div>```</div><div><br></div><div>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?<br></div></div>