Methods for user-provided α toto values (for enumfset)

Open mn200 opened this issue 12 years ago • 0 comments

Figure out a nice way for users to be able to provide/define standard total comparison values (of type α toto) for the enumfset machinery.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

Dec 16 '13 04:12 mn200