Whether to enable the patdiff differ. See https://opensource.janestreet.com/patdiff/
boolean
false
true
