b* binder for using case-match against a single pattern.
The following example shows the usage of
(b* (((unless-casematch obj (a . b)) (er hard? 'my-form "Expected obj to match (a . b) but it didn't"))) (cw "The car is ~x0 and the cdr is ~x1~%" a b))
This expands to:
(case-match obj ((a . b) (cw "The car is ~x0 and the cdr is ~x1~%" a b)) (& (er hard? 'my-form "Expected obj to match (a . b) but it didn't")))