Hacker News new | ask | show | jobs
by houli 3434 days ago
Yes, you can define predicates that take parameters and use them as the invariants