search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

document order of bits in Bit{1,2,..,s} #48

Closed jwaldmann closed 2 years ago

jwaldmann commented 4 years ago

These types do export their constructors, so their argument order should be explained:

I can make a PR.