Expand description

RewriteDisjunctivePredicate rewrites predicates to reduce redundancy

Structs§