search

nick8325 / quickspec

Equational laws for free
BSD 3-Clause "New" or "Revised" License
247 stars 24 forks source link

Example usage of predicateGen? #45

Open isovector opened 4 years ago

isovector commented 4 years ago

predicateGen's generator function takes a b argument, but it's not clear what this thing is used for. There are no example usages, nor does the documentation suggest anything.