v.使满意，使满足；满足（要求、需要等）；符合（规定、条件或标准）；使确信，使信服；清偿，偿付；解，符合（方程式）；令人满意，令人满足 To satisfy the match expression, we have to add _ ⇒ () after processing just one variant, which is annoying boilerplate code to add.
ADJ. satisfied
/'sætɪsfaɪd/
- Aren’t you more satisfied now than you would have been if you had played him prank?
ADJ. satisfiable
/'sætisfaiəbl/可以满足的；可使满足的
- In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable. 在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。