This library will produce a decision tree where each argument is only tested once - no backtracking. How is a bit too much to explain here. I recommend the Mar

This library will produce a decision tree where each argument is only tested once - no backtracking. How is a bit too much to explain here. I recommend the Maranget paper Compiling Pattern Matching to Good Decision Trees on which this work is based.