Skip to content

Auto-generated code for struct has set and sort related functions as default.

Compare
Choose a tag to compare
@logic-building logic-building released this 11 Jul 22:53
· 59 commits to master since this release
406fc1f

Auto-generated code for struct has set and sort related functions as default.
Options -set or -sort will override the default behavior of auto-generation of functions related to set & sort.

Added new predicate functions:
a. ZeroP
b. NegP
c. PosP
d. EvenP
e. OddP